Soldes d'été - Jusqu'à 60 %
Toutes les 1 Edmund M Clarke sorties sur Paperback Book
Catégories
Autre
Service clientèle
EUR
![Cover for Edmund M Clarke · Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/777/9783540544777.jpg?edmund-m-clarke-1991-computer-aided-verification-2nd-internatonal-conference-cav-90-new-brunswick-nj-usa-june-18-21-1990-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1434458541)