3 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer programs, Congresses, Verification, Computer science, Computer software, verification, Logic design, Software engineering, Computer Books: General, Computer Programming, Computer Science, Computer input-output equipment, Computer software, Computers, Computers - General Information, Computers / Logic Design, Hardware, Hardwareverifikation, Logic Design, Model Checking, Operating Systems - General, Programming - Software Development, Programming Languages - General, Programmverifikation, Software, Software architectureID Numbers
- OLID: OL7201382A
Links (outside Open Library)
No links yet. Add one?
July 28, 2014 | Created by ImportBot | import new book |