Sommarrea - Upp till 60 % rabatt
Alla 1s utgivelser på Edmund M Clarke
Kategorier
Annan
Kundservice
SEK
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1434458541)