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
Software engineering, Formale Methode, Model Checking, Computer programs, Zuverlässigkeit, Softwareentwicklung, Congresses, Verification, Sicherheitskritisches System, Reliability, Formal methods (Computer science), Systementwurf, Verifikation, Computer software, Logic design, Computer sciencePlaces
Antwerpen <2010>Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Formal methods for industrial critical systems: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
2010, Springer
in English
3642158978 9783642158971
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Also issued online.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?June 30, 2019 | Edited by MARC Bot | import existing book |
July 4, 2012 | Created by LC Bot | import new book |