Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science - International Symposium of Formal Methods - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540585558 - October 12, 1994
In case cover and title do not match, the title is correct

International Symposium of Formal Methods
Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 1994 edition

Price
Íkr 15,129
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 24 - Sep 7
Get notified about new International Symposium of Formal Methods releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This volume of conference proceedings contains discussion of process modelling, model checking, real-time aspects, refinement proof and the specification of programming languages. Industrial usage reports describe experiences in a variety of areas, including railway signalling.

732 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 12, 1994
ISBN13 9783540585558
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 732
Dimensions 156 × 234 × 37 mm   ·   1.03 kg
Language English  
Editor Bertran, Miquel
Editor Denvir, Tim
Editor Naftalin, Maurice

More from the same publisher

See all of International Symposium of Formal Methods ( e.g. Paperback Book )