Bokus
David L. Dill - Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits, Häftad

Häftad, Engelska, 2003

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Av David L. Dill

540 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

Beskrivning
Produktinformation
  • Utgivningsdatum: 2003-03-17
  • Mått: 216 x 279 x 11 mm
  • Vikt: 467 g
  • Format: Häftad
  • Språk: Engelska
  • Serie: ACM Distinguished Dissertation
  • Antal sidor: 182
  • Förlag: MIT Press Ltd
  • ISBN: 9780262541572
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.