An edition of Temporal Logic Vol. 2 (2000)
Volume 2
By Dov. M. Gabbay,Mark A. Reynolds,Marcelo Finger
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