Enlarge

Temporal logic : mathematical foundations and computational aspects

Dov M. Gabbay

Publication Data

Title Temporal logic : mathematical foundations and computational aspects
Author Dov M. Gabbay
Contributors Ian Hodkinson, Mark Reynolds
Publisher Clarendon.
Publication date 1994
Publication location Oxford
Language English

Topics

Computer programming
England

Catalogue Data

OBNB ID GB9461385
ISBN 10 0198537697
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 160

ISBD

P1053 xiv, 653p.

Buy a copy

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

Temporal logic : mathematical foundations and computational aspects by Dov M. Gabbay. ISBN 0198537697. Published by Clarendon. in 1994. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.