Modern Formal Methods and Applications
Publisher: Gabbar Hossam A; Springer
Published: Nov 29, 2010
Format: paperback
Number of pages: 224
ISBN-13: 9789048170791