Alle 2 Edmund M Clarke releases op Paperback Book
Categorieën
Andere
Klantenservice
EUR
Op voorraad bij iMusic
Toon niet beschikbare artikelen
![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)