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
System design, Computer software, Automatic theorem proving, Computational complexity, Computer science, Computer software, development, Development, Logic design, Machine learning, Object-oriented methods (computer science)ID Numbers
- OLID: OL2679880A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |