Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - perjantai 17. helmikuuta 1995
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Michael Fisher

Hinta
Fr. 59,99

Tilattu etävarastosta

Arvioitu toimitus pe 23. touko - ke 4. kesä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
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

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 )