Media type: Book; Thesis Title: Logics for digital circuit verification : theory, algorithms, and applications Contributor: Janssen, Geert [Author]; Janssen, G. L. J. M. [Other] Published: 1999 Extent: XIII, 162 S; graph. Darst Language: English ISBN: 9038615604 RVK notation: ZN 4030 : Prüfverfahren in der Technischen Elektronik allgemein; Fehlererkennungsschaltungen; Test elektronischer Schaltungen und Bauelemente Keywords: Integrierte Schaltung > Schaltungsanalyse Origination: University thesis: Eindhoven, Techn. Univ., Diss., 1999 Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ZN 4030 J35 Item ID: 10085927 Status: Loanable