| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: September 2021 (Auf Bestellung) Einband: Kartoniert | SFr. 76.00 bestellen |
 | Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Buch) Sprache: English Veröffentlichung: März 2023 (Auf Bestellung) Einband: Kartoniert | SFr. 134.00 bestellen |
 | Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th Inter (Buch) Sprache: English Veröffentlichung: Februar 2007 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
 | Model-Based Testing of Reactive Systems: Advanced Lectures (Buch) Sprache: English Veröffentlichung: Juni 2005 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
 | Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Buch) Sprache: English Veröffentlichung: November 2018 (Auf Bestellung) Einband: Kartoniert | SFr. 104.00 bestellen |
 | Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Buch) Sprache: English Veröffentlichung: Oktober 2008 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen |
 | Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2009 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
 | Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Buch) Sprache: English Veröffentlichung: Dezember 2015 (Auf Bestellung) Einband: Kartoniert | SFr. 70.00 bestellen |
| Seite 1 von 1 |