Formal verification: an essential toolkit for modern VLSI design (Record no. 1853)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00651 a2200205 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220816154621.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 220816b ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9780128007273 |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 621.395 SEL/F |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Seligman, Erik |
245 ## - TITLE STATEMENT | |
Title | Formal verification: an essential toolkit for modern VLSI design |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher | Morgan Kaufmann/Elsevier |
Year of publication | 2015 |
Place of publication | Amsterdam |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | xvii, 353p. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Integrated circuits -- Very large scale integration -- Design and construction. |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Schubert, Tom |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Kumar, M V Achutha Kiran |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Book |
Withdrawn status | Lost status | Damaged status | Permanent Location | Current Location | Shelving location | Date acquired | Source of acquisition | Purchase Price | Bill number | Full call number | Accession Number | Print Price | Bill Date/Price effective from | Koha item type | Collection code |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Central Library | Central Library | General Stack (Sahyadri Campus) | 2022-08-16 | 29 | 5953.52 | 136 | 621.395 SEL/F | 06477 | 7938.02 | 2022-08-16 | Book | ||||
Central Library | Central Library | Reference (Sahyadri Campus) | 2022-08-16 | 29 | 5953.52 | 136 | 621.395 SEL/F | 06476 | 7938.02 | 2022-08-16 | Reference | Reference |