Principles of model checking
Material type: TextPublication details: Cambridge ; MIT Press ; 2008Description: 975ISBN: 9780262026499Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 BAI (Browse shelf (Opens below)) | Available | 61478 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | |||||
681.3 BAI Principles of model checking | 681.3 BAL Structural complexity II | 681.3 BAL Johan van Benthem on Logic and Information Dynamics | 681.3 BAN Computer management and planning |
There are no comments on this title.