Specifying message passing and time-critical systems with temporal logic (e-book)
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB Online | Link to resource | Not for loan | EBK9230 |
Total holds: 0
There are no comments on this title.