Ifm'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

by Kenji Taguchi, Keijiro Araki, Andy Galloway

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1852331070
• ISBN13: 9781852331078
• Release Date: June 1999
• Publisher: Springer
• Length: 477 Pages
• Weight: 1.52 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"