Handbook of model checking volume 1
Material type:
TextLanguage: English Publication details: Switzerland Springer 2018Description: xxiv, 611pISBN: - 9783030132330
- 004.21 C55h vol. 1
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
REF
|
Central Library Reference | Computer Science | 004.21 C55h vol 1 (Browse shelf(Opens below)) | Checked out to . Mohit Gupta (287) | 11/08/2023 | 18239 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
| 004.16 F7769w Wearable computing | 004.1603 G157e Embedded systems dictionary | 004.165 Ob1p Pervasive computing and networking | 004.21 C55h vol 1 Handbook of model checking volume 1 | 004.21 C55h vol 2 Handbook of model checking volume 2 | 004.21 N548n Network-on-Chip architectures | 004.22 B511f Fundamentals of computer architecture and design |
There are no comments on this title.
Log in to your account to post a comment.