4 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
Computation by Abstract Devices, Computer science, Computer software, Computer software, verification, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Parallel processing (Electronic computers), Parallel processing (electronic computers), Programming Languages, Compilers, Interpreters, Software engineering, VerificationID Numbers
- OLID: OL2769090A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |