Soldes d'été - Jusqu'à 60 %
Toutes les 2 Thomas Ball sorties sur Book, Paperback... Book
Catégories
Autre
Service clientèle
EUR
![Cover for Thomas Ball · Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/060/9783540374060.jpg?thomas-ball-2006-computer-aided-verification-18th-international-conference-cav-2006-seattle-wa-usa-august-17-20-2006-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1612142792)
![Cover for Thomas Ball · Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)](https://imusic.b-cdn.net/images/item/original/179/9783540401179.jpg?thomas-ball-2003-model-checking-software-10th-international-spin-workshop-portland-or-usa-may-9-10-2003-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1614986668)