Introduction to formal hardware verification
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------