Introduction to formal hardware verification / Thomas Kropf.

Saved in:

Bibliographic Details
Main Author:	Kropf, Thomas, 1961-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, ©1999.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Verification.

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	TK7874.75 .K76 1999
TK7874.75 .K76 1999	Available Place a Hold