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

Name: Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science
Price: 449 DKK
Availability: OutOfStock
Author: Michael Fisher

Pris

DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 6. jan. 2026

Julegaver kan byttes frem til 31. januar

Vores kunder siger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages fuld returret

Topvurdering på Trustpilot

Tilføj til din iMusic ønskeseddel

eller

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

Michael Fisher

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

Medie	Bøger Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	17. februar 1995
ISBN13	9783540589761
Forlag	Springer-Verlag Berlin and Heidelberg Gm
Antal sider	188
Mål	156 × 234 × 10 mm · 281 g
Sprog	Tysk
Klipper/redaktør	Fisher, Michael
Klipper/redaktør	Owens, Richard