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

Michael Fisher

Hinta

Mex$ 1.194,60

Tilattu etävarastosta

Arvioitu toimitus ti - pe 11. - 21. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus

Huippuarvosana Trustpilotissa

Lisää iMusic-toivelistallesi

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	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	perjantai 17. helmikuuta 1995
ISBN13	9783540589761
Tuottaja	Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä	188
Mitta	156 × 234 × 10 mm · 281 g
Toimittaja	Fisher, Michael
Toimittaja	Owens, Richard

Näytä kaikki

Lisää tuotteita Michael Fisher

Katso kaikki joka sisältää Michael Fisher ( Esim. Paperback Book , Hardcover Book Ja CD )