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 software, verification, Information Systems, Logic design, Logic, symbolic and mathematical, Logics and Meanings of Programs, Management of Computing and Information Systems, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Software engineeringID Numbers
- OLID: OL7561404A
Links (outside Open Library)
No links yet. Add one?
June 30, 2019 | Created by MARC Bot | import new book |