Image from Amazon.com
Introduction to formal hardware verification
Material type:
TextPublication details: Springer-Verlag 1999 BerlinDescription: ix, 299pISBN: - 3540654453
- 004 K927i
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 004 K927i (Browse shelf(Opens below)) | Available | A131136 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.