Introduction to formal Hardware Verification (Record no. 28597)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00409nam a22001577a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20201123153912.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783662038093 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Author Name | Kropf T |
| 245 ## - TITLE STATEMENT | |
| Title | Introduction to formal Hardware Verification |
| 264 ## - PUBLICATION STATEMENT | |
| Name of the Publisher | Springer (India) Pvt. Ltd. |
| Year of Publication | 1999 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 299 |
| 546 ## - LANGUAGE NOTE | |
| Language | English |
| 650 ## - SUBJECT --TOPICAL TERM | |
| Subject | Computer Science and Engineering |
| 650 ## - SUBJECT --TOPICAL TERM | |
| Subject | Hardware Bible |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Item Type | Books |
| Withdrawn status | Lost Status | Damaged Status | Not for Loan | Permanent Location | Section | Date of Purchase | Vendor | Price | Call Number | Accession Number | Item Type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Central Library, KARE, Krishnankoil Campus | Reference (Not for Circulation) | 25/01/2008 | AKCE | 184.00 | - | SG268 | Study Guides | ||||
| Central Library, KARE, Krishnankoil Campus | Reference (Not for Circulation) | 05/05/2008 | AKCE | 144.00 | - | SG300 | Study Guides |