Handbook of model checking volume 2
Material type:
TextLanguage: English Publication details: Switzerland Springer 2018Description: xxiv, 598pISBN: - 9783030132330
- 004.21 C55h vol. 2
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
REF
|
Central Library Reference | Computer Science | 004.21 C55h vol 2 (Browse shelf(Opens below)) | Checked out to . Mohit Gupta (287) | 11/08/2023 | 18240 |
Total holds: 0
Browsing Central Library shelves, Shelving location: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
| 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 | 004.22 H17c5 Computer organization |
There are no comments on this title.
Log in to your account to post a comment.