Marie-claude Gaudel
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 Marie-claude Gaudel 1996 edition

Name: 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
Price: 104.99 USD
Availability: OutOfStock
Author: Marie-claude Gaudel

Price

$ 104.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

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

Marie-claude Gaudel

1996 edition

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

711 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	March 6, 1996
ISBN13	9783540609735
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	711
Dimensions	155 × 235 × 36 mm · 997 g
Language	German
Editor	Gaudel, Marie-Claude
Editor	Woodcock, James