1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Computer programs, Computer science, Computer software, verification, Congresses, Formale Methode, Logic design, Programmanalyse, Programmtest, Programmverifikation, Software, Software engineering, Verification, VerifikationPlaces
Edinburgh <2010>ID Numbers
- OLID: OL7150064A
Links (outside Open Library)
No links yet. Add one?
July 11, 2012 | Created by LC Bot | import new book |