Logics for digital circuit verification

theory, algorithms, and applications

Verfasser / Beitragende:
Gradus Leonardus Johannes Maria Janssen, geboren te Oss
Ort, Verlag, Jahr:
Eindhoven : Technische Universiteit Eindhoven, 1999
Beschreibung:
XIII, 162 S. : Ill., Tab. ; 25 cm
Format:
Buch (Hochschulschrift)
ID: 14393953X