8 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 software, verification, Verification, Computer science, Computer systems, Logic design, Logiciels, Model Checking, Verificatie, Vérification, COMPUTERS, Circuits intégrés, Computer Science, Computer software, Computer software, development, Computersystemen, Conception assistée par ordinateur, Congresses, Congrès, Datenverarbeitungssystem, Electronic digital computers, Engenharia de software, Engineering & Applied Sciences, Evaluation, Formale Sprache, Génie logicielID Numbers
- OLID: OL3250211A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |