Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Steam-boilers, Automatic control, Data processingShowing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science)
December 6, 1996, Springer
Paperback
in English
- 1 edition
3540619291 9783540619291
|
aaaa
Libraries near you:
WorldCat
|
2
Formal methods for industrial applications: specifying and programming the steam boiler control
1996, Springer
in English
3540619291 9783540619291
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"This book wants to contribute to a realistic comparison, from the point of view of practicality for applications under industrial constraints, of the major techniques which are currently available for formally supported specification, design and verification of large programs and complex systems."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 30, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 30, 2019 | Edited by MARC Bot | associate edition with work OL18329913W |
April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |