| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
(Buch) Sprache: English
Veröffentlichung: November 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 63.00
bestellen |
 | Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Januar 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 65.00
bestellen |
 | Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | From Data to Models and Back: 13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Juli 2026 (Vorankündigung)
Einband: Kartoniert | SFr. 69.00
vorbestellen |
 | Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Dezember 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
