Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Bøger - MIT Press Ltd - 9780262541572 - 17. marts 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Pris
NOK 459

Bestilles fra fjernlager

Forventes klar til forsendelse 6. - 12. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.

181 pages, Ill.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 17. marts 2003
ISBN13 9780262541572
Forlag MIT Press Ltd
Antal sider 181
Mål 216 × 279 × 25 mm   ·   430 g
Sprog Engelsk  

Se alt med David L. Dill ( f.eks. Paperback Bog )