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/HItem 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 | Available | 06683 | ||
Book | Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06685 |