Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17. Februar 1995
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 44,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 9. - 19. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 17. Februar 1995
ISBN13 9783540589761
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 188
Maße 156 × 234 × 10 mm   ·   281 g
Sprache Deutsch  
Redakteur Fisher, Michael
Redakteur Owens, Richard

Weitere Titel von Michael Fisher

Alle anzeigen

Alle Titel von Michael Fisher ansehen ( u. a. Taschenbuch , Gebundenes Buch und CD )