Temporal logic. Vol. 2, Mathematical foundations and computational aspects :: Dov M. Gabbay :: ISBN 0198537689 :: Oxford University Press 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Temporal logic. Vol. 2, Mathematical foundations and computational aspects
Author Dov M. Gabbay
Contributors Marcelo Finger, Mark Reynolds
Publisher Oxford University Press
Publication date 2000
Publication location Oxford
Language English

Topics

Computer logic
Machine theory
Temporal automata

Catalogue Data

OBNB ID GB99U7775
ISBN 10 0198537689
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xiii, 597 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Temporal logic. Vol. 2, Mathematical foundations and computational aspects by Dov M. Gabbay. ISBN 0198537689. Published by Oxford University Press in 2000. Publication and catalogue information, links to buy online and reader comments.