Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 lutego 1995
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 25 gru - 2 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 17 lutego 1995
ISBN13 9783540589761
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 188
Wymiary 156 × 234 × 10 mm   ·   281 g
Język Niemiecki  
Redaktor Fisher, Michael
Redaktor Owens, Richard

Więcej od Michael Fisher

Pokaż wszystko

Zobacz wszystko od Michael Fisher ( np. Paperback Book , Hardcover Book i CD )