Temporal logics in computer science : finite-state systems / Stephane Demri, Valentin Goranko and Martin Lange
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9781107028364
- 004 DEM-S
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
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.