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
Browsing IIT Goa Central Library shelves, Collection: Technical Close shelf browser (Hides shelf browser)
004.165/Gao Microprocessor architecture, programming and applications with the 8085 | 004.165/Gao Microprocessor architecture, programming and applications with the 8085 | 004.21/Cla Model Checking | 004.21/Cla Handbook of Model Checking | 004.22/Hen Computer Architecture: A Quantitative Approach | 004.22/Hen Computer Architecture: A Quantitative Approach | 004.22/Hen Computer Architecture: A Quantitative Approach |