Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17. februar 1995
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Michael Fisher

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 1. - 7. jul.

Vores kunder siger:

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 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
Vis alle

Mere med Michael Fisher

Se alt med Michael Fisher ( f.eks. Paperback Bog , Hardcover bog og CD )