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 | K927I
| Item 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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
| 004 H191A HANDBOOK OF LOGIC IN COMPUTER SCIENCE | 004 H752c2 Computability and complexity theory | 004 J56E TESTING OF DIGITAL SYSTEM | 004 K927I INTRODUCTION TO FORMAL HARDWARE VERIFICATION | 004 L852c2 COMPUTERS | 004 L967I INFORMATION SCIENCE | 004 M692d2 Data fusion |
There are no comments for this item.