FME '96, Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : Proceedings - Lecture Notes in Computer Science
Hardback
Not available for sale
Includes delivery to the United States
Out of stock
Check stock
Book information
ISBN: | 9780387609737 |
Publisher: | Springer Verlag |
Imprint: | Springer Verlag |
Language: | English |
Number of pages: | 704 |
Weight: | -1g |