Sommer-Sale - Bis zu 60 % Rabatt
Alles von 1 Edmund M Clarke auf Taschenbuch
Kategorien
Andere
Kundenservice
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 (Taschenbuch) [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-taschenbuch&class=scaled&v=1434458541)