An edition of Temporal Logic Vol. 2 (2000)

Temporal Logic: Mathematical Foundations and Computational Aspects

Volume 2

By Dov. M. Gabbay,Mark A. Reynolds,Marcelo Finger

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

May 15, 2000

Publisher

Oxford University Press, USA

Language

eng

Pages

612

Description:

subjects: Logic, symbolic and mathematical, Computer logic, Machine theory, Temporal automata, Logique informatique, Automates