Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 février 1995
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Michael Fisher

Prix
元 501,13

Commandé depuis un entrepôt distant

Livraison prévue 29 mai - 10 juin

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
Afficher tout

Plus par Michael Fisher

Voir tous les Michael Fisher ( par ex. Paperback Book , Hardcover Book et CD )