Bokus
David L. Dill - Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings, Övrigt

Övrigt, Engelska, 2014

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

Av David L. Dill

672 kr

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

Beskrivning
Produktinformation
  • Utgivningsdatum: 2014-03-12
  • Format: Övrigt
  • Språk: Engelska
  • Antal sidor: 496
  • Förlag: Springer
  • ISBN: 9783662194027
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.