1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Computer software, Computer software, verification, Computer systems, Computers, Congresses, Kongress, Künstliche Intelligenz, Model Checking, VerificationPlaces
Patras <2008>ID Numbers
- OLID: OL6934839A
Links outside Open Library
No links yet. Add one?
July 23, 2011 | Created by LC Bot | import new book |