| 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 - Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: März 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
(Buch) Sprache: English
Veröffentlichung: November 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
(Buch) Sprache: English
Veröffentlichung: August 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
(Buch) Sprache: English
Veröffentlichung: August 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: April 2025
(Auf Bestellung)
Einband: Kartoniert | SFr. 147.00
bestellen |
 | Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and
(Buch) Sprache: English
Veröffentlichung: März 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revise
(Buch) Sprache: English
Veröffentlichung: September 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 76.00
bestellen |
 | Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 20
(Buch) Sprache: English
Veröffentlichung: Februar 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 102.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
| Autor von: |
 | Formal Methods for Software Engineering: Languages, Methods, Application Domains
(Buch) Sprache: English
Veröffentlichung: Juni 2022
(Auf Bestellung)
Einband: Gebunden | SFr. 109.00
bestellen |
 | Formal Methods for Software Engineering: Languages, Methods, Application Domains
(Buch) Sprache: English
Veröffentlichung: Juni 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 83.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
