Back

Zoom Roll over image to zoom in

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 Vol.1051) (1996. XII, 704 p. 2

Ed. by Marie-Claude Gaudel u. James C. P. Woodcock
595.92 MYR
Member Price
536.33

Product Description

"This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to \"the application and demonstrated industrial benefit of formal methods
... Read Full Text

XIII, 711 p.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free shipping for Peninsula on orders over 120.00MYR

Discount is applied at checkout.

Recently Viewed Items

Related Products