Image from Amazon.com
Temporal logic and state systems
Material type:
TextPublication details: Berlin Springer-Verlag 2008Description: xi, 433pISBN: - 9783540674016
- 160 K914t
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 160 K914t (Browse shelf(Opens below)) | Available | A161843 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
No cover image available |
|
|
||
| 160 J373F2 FORMAL LOGIC | 160 K12 LOGIC AND PHILOSOPHY | 160 K897m Naming and necessity | 160 K914t Temporal logic and state systems | 160 L543 COP.2 BEGINNING LOGIC | 160 L585c Counterfacuals | 160 L828I LOGIC AND LANGUAGE |
There are no comments on this title.
Log in to your account to post a comment.