Modal and temporal properties of processes
Material type:
TextPublication details: New York Springer-Verlag 2001Edition: 1stDescription: xii,190p pISBN: 0-387-98717-7Subject(s): Computer logic
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Books | Jayakar Knowledge Resource Centre | Jayakar Knowledge Resource Centre | CS F.3.0 P01 (Browse shelf(Opens below)) | Available | 429840 |
Total holds: 0
Browsing Jayakar Knowledge Resource Centre shelves Close shelf browser (Hides shelf browser)
| CS F.3.0 N99 Combinatorics, computation and logic 99 | CS F.3.0 N99 Computational logic | CS F.3.O N99 Logic in computer science: modelling and reasoning about system | CS F.3.0 P01 Modal and temporal properties of processes | CS F.3.0 P18 Essential logic for computer science | CS F.4 N74 Mathematical programs for activity analysis | CS F.4.0 N79 Decision problem: solvable classes of quantificational formulas |
There are no comments on this title.