Temporal logics in computer science : finite-state systems / Stephane Demri, Valentin Goranko and Martin Lange
Material type: TextPublication details: Cambridge Cambridge University Press 2016Description: 744 pISBN:- 9781107028364
- 004 DEM-S
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | BITS Pilani Hyderabad | 003-007 | General Stack (For lending) | 004 DEM-S (Browse shelf(Opens below)) | Available | 34204 |
Total holds: 0
There are no comments on this title.