An edition of Formal development of reactive systems
(1995)
Formal Development of Reactive Systems
Case Study Production Cell (Lecture Notes in Computer Science)
1 edition
by Claus Lewerentz
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal development of reactive systems: case study production cell
1995, Springer-Verlag
in English
3540588671 9783540588672
|
zzzz
|
2
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
February 24, 1995, Springer
Paperback
in English
- 1 edition
3540588671 9783540588672
|
aaaa
|
Book Details
First Sentence
"A recent report based on a questionnaire [1] authored by the British National Physical Laboratory (NPL) argued that one of the major impediments to formal methods gaining broader acceptance in industry is the lack of realistic, comparative surveys."
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 4 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 OL18238901W |
| August 10, 2010 | Edited by IdentifierBot | added LibraryThing 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 |