Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. ProceedingsDavid L. Dill644 kr
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. ProceedingsDavid L. Dill644 kr
4 för 3En flicka som kallas AliceKristin HannahPocket, 20254,5 utav 5 stjärnor. Totalt antal röster:(39)99 kr
Signerad!SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågorAnnifrid Lilja, Björn LiljaKartonnage, 2026229 kr