Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Häftad, Engelska, 2003

Av David L. Dill

669 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