004 / K927I
Kropf,Thomas
INTRODUCTION TO FORMAL HARDWARE VERIFICATION
/
.- Springer-Verlag,Berlin, 1000
.- ix,299 .
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------