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

Michael Fisher

Pris

NOK 719

Bestillingsvarer

Forventes levert 14. - 24. mai

Kundene våre sier:

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

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

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	17. februar 1995
ISBN13	9783540589761
Utgivere	Springer-Verlag Berlin and Heidelberg Gm
Antall sider	188
Mål	156 × 234 × 10 mm · 281 g
Redaktør	Fisher, Michael
Redaktør	Owens, Richard

Vis alle

Mer med Michael Fisher

Se alt med Michael Fisher ( f.eks. Pocketbok , Innbunden bok og CD )