Model checking
Material type: TextPublication details: Massachusetts : The MIT Press, ©2018.Edition: 2nd edDescription: xx, 402 p. : ill. (b&w) ; 24 cm (Hardbound)ISBN:- 9780262038836
- 004.21 CLA / B
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Checked out | 30/09/2025 | 5721 | |
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Course Reserved Book | 5716 | ||
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Available | 5720 | ||
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Available | 5718 | ||
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Checked out | 03/09/2025 | 5719 | |
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Available | 5717 | ||
Book | IIT - Dharwad | Computer Science Engineering | 004.21 CLA / B (Browse shelf(Opens below)) | Available | 5699 |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.