Tallenna
Formal Methods for Industrial Applications
In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.
- Alaotsikko
- Specifying and Programming the Steam Boiler Control
- Toimittaja
- Jean-Raymond Abrial, Egon Börger, Hans Langmaack
- Painos
- 1996 ed.
- ISBN
- 9783540619291
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.10.1996
- Sivumäärä
- 523
