Pastāsti draugiem par šo preci:
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Michael Fisher Annotated edition
Cena
€ 53,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 17. - 25. sept.
Saņemiet paziņojumus par jauniem Michael Fisher izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science
Michael Fisher
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1995. gada 17. februāris |
| ISBN13 | 9783540589761 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 188 |
| Izmēri | 156 × 234 × 10 mm · 281 g |
| Valoda | Vācu |
| Redaktors | Fisher, Michael |
| Redaktors | Owens, Richard |
![Cover for Michael Fisher · Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/961/9783642328961.jpg?michael-fisher-2012-computational-logic-in-multi-agent-systems-13th-international-workshop-clima-xiii-montpellier-france-august-27-28-2012-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1603433493)
![Cover for Michael Fisher · Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Lecture Notes in Computer Science (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/338/9783642027338.jpg?michael-fisher-2009-computational-logic-in-multi-agent-systems-9th-international-workshop-clima-ix-dresden-germany-september-29-30-2008-revised-selected-and-invited-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1402913882)
![Cover for Beatrix Troger · Steuerstandort Großbritannien: Grundlagen und Praxis des britischen Steuerrechts (Paperback Book) [2. Auflage 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Imaging of Bone Tumors and Tumor-Like Lesions: Techniques and Applications - Medical Radiology (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/141/9783662733141.jpg?2027-imaging-of-bone-tumors-and-tumor-like-lesions-techniques-and-applications-medical-radiology-hardcover-book&class=scaled&v=1775079856)
![Cover for Handbuch Unternehmensorganisation: Strategien, Planung, Umsetzung (Book) [4. Auflage 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/290/9783642420290.jpg?2026-handbuch-unternehmensorganisation-strategien-planung-umsetzung-book&class=scaled&v=1779860172)
![Cover for Jean Paul · Jean Pauls Samtliche Werke. Historisch-kritische Ausgabe: Zweite Abteilung. Band 10.3: Satiren und Ironien. Kommentar (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/229/9783740012229.jpg?jean-paul-2026-jean-pauls-samtliche-werke-historisch-kritische-ausgabe-zweite-abteilung-band-10-3-satiren-und-ironien-kommentar-hardcover-book&class=scaled&v=1606304271)
![Cover for Karlheinz Schuffler · Musical Scales and their Mathematics - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/401/9783662695401.jpg?karlheinz-schuffler-2026-musical-scales-and-their-mathematics-mathematics-study-resources-paperback-book&class=scaled&v=1735177753)
![Cover for Kyrill-Alexander Schwarz · Praxishandbuch Landesstaatsorganisationsrecht (Hardcover Book) [1. Aufl. 2025 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783642253355.jpg?kyrill-alexander-schwarz-2026-praxishandbuch-landesstaatsorganisationsrecht-hardcover-book&class=scaled&v=1408485129)
![Cover for Albrecht Beutelspacher · Modern Cryptography: From RSA to Zero-Knowledge and Beyond - Mathematics Study Resources (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/420/9783662674420.jpg?albrecht-beutelspacher-2026-modern-cryptography-from-rsa-to-zero-knowledge-and-beyond-mathematics-study-resources-paperback-book&class=scaled&v=1688517177)
![Cover for Franz Kronthaler · Data Analysis with RStudio: An Easygoing Introduction (Paperback Book) [Second rev. and enl. Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/434/9783662732434.jpg?franz-kronthaler-2026-data-analysis-with-rstudio-an-easygoing-introduction-paperback-book&class=scaled&v=1778114467)
