Executable modal and temporal logics: ijcai '93 workshop, chambery, france, august 28, 1993 - proceedings
Auteur :
Fisher, Michael
ISBN :
9783540589761
Date de publication :
17 févr. 1995
Dimensions :
23,4 x 15,6 x 1,0 cm
Poids :
630 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents the revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. This title addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints.