Formal Development of Reactive Systems
×Close
Donate this book to the Internet Archive library.
×CloseHooray! You've discovered a title that's missing from our library. Can you help donate a copy?
- If you own this book, you can mail it to our address below.
- You can also purchase this book from a vendor and ship it to our address:
Benefits of donating
When you donate a physical book to the Internet Archive, your book will enjoy:
- Beautiful high-fidelity digitization
- Long-term archival preservation
- Free controlled digital library access by the print-disabled and public†
Open Library is a project of the Internet Archive, a 501(c)(3) non-profit
Check nearby libraries
Buy this book
When you buy books using these links the Internet Archive may earn a small commission.
Share this book
Formal Development of Reactive Systems
Case Study Production Cell (Lecture Notes in Computer Science)
by Claus Lewerentz
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
This edition doesn't have a description yet. Can you add one?
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal development of reactive systems: case study production cell
1995, Springer-Verlag
in English
3540588671 9783540588672
|
zzzz
Libraries near you:
WorldCat
|
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
Libraries near you:
WorldCat
|
Formal Development of Reactive Systems
Case Study Production Cell (Lecture Notes in Computer Science)
This edition was published in February 24, 1995 by Springer
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
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 4 revisions
| July 30, 2019 | Edited by Clean Up 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. |