FME '96, Industrial Benefit and Advances in Formal Methods

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

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387609737
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 704
Weight: -1g