Handbook of Model Checking
Material type: TextPublication details: Switzerland Springer 2018Description: xxiv, 1210pISBN:- 9783319105741
- 004.21 Cla
Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|---|
Reference | IIT Goa Central Library | Technical | 004.21/Cla (Browse shelf(Opens below)) | 1 | Reference | RBPPL76141/19-20|| 25-07-19|| 32.00%|| EUR 109.99 | 2798 |
Total holds: 0