Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

By Jean-Raymond Abrial

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540619291
• ISBN13: 9783540619291
• Release Date: October 1996
• Publisher: Springer
• Length: 523 Pages
• Weight: 1.62 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"