2 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 science, Computer simulation, Computer software, verification, Logic design, Software engineering, Computer software, Congresses, Data processing, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, SPIN (Computer file), Testing, VerificationID Numbers
- OLID: OL7325034A
Links (outside Open Library)
No links yet. Add one?
October 14, 2016 | Created by Mek | Added new book. |