Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - David L. Dill - Bog

af David L. Dill

indgår i ACM Distinguished Dissertation serien

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits af David L. Dill
Bag om Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780262541572
  • Indbinding:
  • Paperback
  • Sideantal:
  • 181
  • Udgivet:
  • 17. Marts 2003
  • Størrelse:
  • 254x178x25 mm.
  • Vægt:
  • 467 g.
  • 2-3 uger.
  • 17. Maj 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om David L. Dill

Vis alle bøger af David L. Dill

Beskrivelse af Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits

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.

Brugerbedømmelser af Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits



Andre købte også..
Find lignende bøger
Bogen Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.