Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

AvDavid L. Dill

Engelska, 2014

653 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet
Del 3

Rivaler i Rom

Anders de la Motte, Anette de la Motte

Inbunden

249 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr