Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Engelska, 2014
644 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
David L. Dill
Häftad, 2003
507 kr
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
- Nyhet
Del 2
- -22%
Del 3
- 4 för 3
Del 1
- -30%
- 4 för 3
- 4 för 3
Del 1
- -22%
Del 2