Handbook of model checking
By: Clarke, Edmund M. (Editor)
Contributor(s): Henzinger, Thomas A. (Editor) | Veith, Helmut (Editor) | Bloem, Roderick (Editor)
Language: English Publisher: Switzerland Springer 2018Edition: 1st edDescription: xxiv, 1210pISBN: 9783319105741Subject(s): Hardware performance and reliability | Security science and technologyDDC classification: 004.24 CLA/H
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Book
|
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06682 | ||
Reference
|
Central Library Reference (Sahyadri Campus) | Reference | 004.24 CLA/H | Not for loan | 06681 | |
|
Book
|
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06684 | ||
|
Book
|
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Checked out | 22/12/2023 | 06683 | |
|
Book
|
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06685 |