Principles of Model Checking / by Christel Baier.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780262026499
- 004.24 22 BAI/P
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 004.24 BAI/P (Browse shelf(Opens below)) | Available | 7082 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
004.24 AMM/I Introduction to software testing / | 004.24 AMM/I Introduction to software testing / | 004.24 AMM/I Introduction to software testing / | 004.24 BAI/P Principles of Model Checking / | 004.25 PAT/C Computer organization and design RISC-V edition: the hardware software interface / | 004.25 PAT/C Computer organization and design RISC-V edition: the hardware software interface / | 004.25 PAT/C Computer organization and design RISC-V edition: the hardware software interface / |
Include Index
There are no comments on this title.
Log in to your account to post a comment.