004 / K927i
Kropf, Thomas
Introduction to formal hardware verification
/ Thomas Kropf
.- Berlin: Springer-Verlag, 1999
.- ix, 299p .
ISBN: 3540654453
Subject Headings:
Electronic Digital Computers -- Design And Construction;
Computer Input-Output Equipment;
Copy Details:
Acc. No.: A131136, Full Call No.: 004 K927i, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------