1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer input-output equipment, Computer programs, Computer software, Computer software, verification, Congresses, Hardwareverifikation, Integrated circuits, Korrektheit, Model Checking, Programmverifikation, Software, Software architecture, Testen, VerificationID Numbers
- OLID: OL6934860A
Links outside Open Library
No links yet. Add one?
July 23, 2011 | Created by LC Bot | import new book |