Image from Amazon.com
Principles of model checking
Material type:
TextPublication details: Massachusetts : The MIT Press, ©2008.Description: xvii, 963 p. : ill. (b&w) ; 26 cm (Hardbound)ISBN: - 9780262026499
- 004.24 BAI / B
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Course Reserved Book | 5760 | ||
|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Available | 5722 | ||
|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Checked out | 30/09/2025 | 5726 | |
|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Available | 5725 | ||
|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Available | 5723 | ||
|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.24 BAI / B (Browse shelf(Opens below)) | Available | 5724 |
Browsing IIT - Dharwad shelves, Collection: Computer Science Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.24 BAI / B Principles of model checking | 004.24 BAI / B Principles of model checking | 004.24 BAI / B Principles of model checking | 004.24 BAI / B Principles of model checking | 004.24 BAI / B Principles of model checking | 004.33 LIU / B Real-time systems | 004.33 OLD / B Real-time systems : |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.