Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Michael Fisher

Prix

€ 63,49

Commandé depuis un entrepôt distant

Livraison prévue 29 nov. - 10 déc.

Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs

Meilleur classement sur Trustpilot

Ajouter à votre liste de souhaits iMusic

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

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.

188 pages, biography

Médias	Livres Paperback Book (Livre avec couverture souple et dos collé)
Validé	17 février 1995
ISBN13	9783540589761
Éditeurs	Springer-Verlag Berlin and Heidelberg Gm
Pages	188
Dimensions	156 × 234 × 10 mm · 281 g
Éditeur	Fisher, Michael
Éditeur	Owens, Richard