Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
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?History
- Created July 4, 2012
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
September 17, 2021 | Edited by ImportBot | import existing book |
September 25, 2020 | Edited by MARC Bot | import existing book |
June 30, 2019 | Edited by MARC Bot | import existing book |
July 29, 2014 | Edited by ImportBot | import new book |
July 4, 2012 | Created by LC Bot | Imported from Library of Congress MARC record |