Custom cover image
Custom cover image

Trace theory for automatic hierarchical verification of speed independent circuits / David L. Dill

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: ACM distinguished dissertationsPublisher: Cambridge, Mass. [u.a.] : MIT Press, 1989Description: 163 S. : illISBN:
  • 0262041014
Other title:
  • speed-independent
Subject(s): Genre/Form: DDC classification:
  • 621.395
  • 621.39/5
LOC classification:
  • TK7888.4
  • TK7868.S9
Action note:
  • 1
Dissertation note: Pittsburgh, Univ., Diss. 1988 Call number: Grundsignatur: 90 A 1764PPN: PPN: 017280516
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 90 A 1764 Available 46399477090
Total holds: 0

Archivierung prüfen 20200919 DE-640 1 pdager

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT