Temporal logic : mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
Material type: TextLanguage: English Publication details: Oxford : New York : Clarendon Press ; Oxford University Press, 1994Description: v.1 :653p. : ill. ; 24 cmISBN: 0198537697 Subject(s): Computer programming | Logic, Symbolic and mathematical | Temporal Logic | Mathematical FoundationsDDC classification: 511.3 GAB HItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Mysore University Main Library | 511.3 GAB H (Browse shelf (Opens below)) | Available | 412139 |
Browsing Mysore University Main Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
511.3 DOL Discrete mathematics 1 | 511.3 DOL Discrete mathematics 2 | 511.3 ECC An introduction to mathematical reasoning : | 511.3 GAB H Temporal logic : | 511.3 GRA T Logic and discrete dathematics : | 511.3 HUA Additive theory of prime numbers | 511.3 JOH Elements of logic via numbers and sets |
There are no comments on this title.