INTRODUCTION TO FORMAL HARDWARE VERIFICATION
By: Kropf,Thomas.
Material type: BookPublisher: Springer-Verlag,Berlin 1000Description: ix,299.ISBN: 3540654453.Subject(s): Electronic Digital Computers -- Design And Construction | Computer Input-Output EquipmentDDC classification: 004 | K927IItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 004 K927I (Browse shelf) | Available | A131136 |
Total holds: 0
There are no comments for this item.