Temporal logic: volume 1
Auteur :
Gabbay, Dov M. / Hodkinson, Ian / Reynolds, Mark
Éditeur :
Oxford University Press
ISBN :
9780198537694
Date de publication :
21 juil. 1994
Dimensions :
24,2 x 16,0 x 3,8 cm
Poids :
1162 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
BL Indispensable reference for both the pure logician and the theoretical computer scientist This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.