1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer programs, Computer science, Computer software, Congresses, Formal methods (Computer science), Formale Methode, Logic design, Model Checking, Reliability, Sicherheitskritisches System, Software engineering, Softwareentwicklung, Systementwurf, Verification, Verifikation, ZuverlässigkeitPlaces
Antwerpen <2010>ID Numbers
- OLID: OL7147791A
Links (outside Open Library)
No links yet. Add one?
July 4, 2012 | Created by LC Bot | import new book |