Normal view MARC view ISBD view

Temporal logic :

Gabbay, Dov M.,

Temporal logic : mathematical foundations and computational aspects Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. - Oxford : New York : Clarendon Press ; Oxford University Press, 1994. - v.1 :653p. : ill. ; 24 cm.

ISBN: 0198537697

Subjects--Topical Terms:
Computer programming.
Logic, Symbolic and mathematical.

Subjects--Index Terms: Temporal Logic Mathematical Foundations

Dewey Class. No.: 511.3 GAB H

Place hold
Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)