FME '93

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

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

Book information

ISBN: 9780387566627
Publisher: Springer Verlag
Imprint: Springer Verlag
Pub date:
Language: English
Number of pages: 689
Weight: 503g
Height: 155mm
Width: 233mm
Spine width: 19mm