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

Michael Fisher

Preis

€ 65,49

Bestellware

Lieferdatum: ca. 21. - 31. Mai

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

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

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
Redakteur	Fisher, Michael
Redakteur	Owens, Richard

Alle anzeigen

Weitere Titel von Michael Fisher

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