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

Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06682 | ||
![]() |
Central Library Reference (Sahyadri Campus) | Reference | 004.24 CLA/H | Not for loan | 06681 | |
![]() |
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06684 | ||
![]() |
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Checked out | 22/12/2023 | 06683 | |
![]() |
Central Library General Stack (Sahyadri Campus) | 004.24 CLA/H | Available | 06685 |