Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, S

by John Fitzgerald

Book Overview

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods ,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540635335
• ISBN13: 9783540635338
• Release Date: September 1997
• Publisher: Springer
• Length: 694 Pages
• Weight: 2.15 lbs.
• Dimensions: 1.4" x 6.1" x 9.2"