4 works Add another?
Most Editions
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 |