| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, Augus
(Buch) Sprache: English
Veröffentlichung: Dezember 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Procee
(Buch) Sprache: English
Veröffentlichung: Juli 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 124.00
bestellen |
 | Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juli 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 168.00
bestellen |
 | NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 2026
(Auf Bestellung)
Einband: Kartoniert | SFr. 102.00
bestellen |
 | NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
(Buch) Sprache: English
Veröffentlichung: April 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2000
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Confe
(Buch) Sprache: English
Veröffentlichung: März 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
