| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and
(Buch) Sprache: English
Veröffentlichung: September 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
(Buch) Sprache: English
Veröffentlichung: November 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | FME 2003: Formal Methods - International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2003
(Auf Bestellung)
Einband: Kartoniert | SFr. 135.00
bestellen |
 | Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and
(Buch) Sprache: English
Veröffentlichung: März 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
(Buch) Sprache: English
Veröffentlichung: Februar 2026
(Auf Bestellung)
Einband: Kartoniert | SFr. 133.00
bestellen |
 | Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceed
(Buch) Sprache: English
Veröffentlichung: März 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
