Hoppa till sidans huvudinnehåll

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Häftad, Engelska, 2003

AvDavid L. Dill

679 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


Produktinformation

  • Utgivningsdatum2003-03-17
  • Mått216 x 279 x 11 mm
  • Vikt467 g
  • FormatHäftad
  • SpråkEngelska
  • SerieACM Distinguished Dissertation
  • Antal sidor182
  • FörlagMIT Press Ltd
  • ISBN9780262541572
Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av