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
Automatic theorem proving, Computer programming, Computer science, Computer software, development, Information theory, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Software engineering, System design, Theory of ComputationID Numbers
- OLID: OL7914571A
Links (outside Open Library)
No links yet. Add one?
May 18, 2020 | Created by ImportBot | import new book |