FME '93 Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 Proceedings - Lecture Notes in Computer Science
Paperback (15 Aug 1993)
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
ISBN: | 9780387566627 |
Publisher: | Springer Verlag |
Imprint: | Springer Verlag |
Pub date: | 15 Aug 1993 |
Language: | English |
Number of pages: | 689 |
Weight: | 503g |
Height: | 155mm |
Width: | 233mm |
Spine width: | 19mm |