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

Del i serien ACM Distinguished Dissertation

540 kr

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

Beskrivning
Produktinformation
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.