| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Architecting Dependable Systems VI
(Buch) Sprache: English
Veröffentlichung: November 2009
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conf
(Buch) Sprache: English
Veröffentlichung: Juli 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 158.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 |
 | Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
(Buch) Sprache: English
Veröffentlichung: November 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 82.00
bestellen |
 | From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
(Buch) Sprache: English
Veröffentlichung: September 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.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 |
 | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, RSSRail 2025
(Buch) Sprache: English
Veröffentlichung: November 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 82.00
bestellen |
 | Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: April 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 66.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
