Heike Wehrheim – författare
1 049 kr
Skickas inom 5-8 vardagar
1 119 kr
Skickas inom 5-8 vardagar
Fundamental Approaches to Software Engineering
23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
579 kr
Skickas inom 10-15 vardagar
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
719 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing – ICTAC 2025
22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings
1 059 kr
Skickas inom 5-8 vardagar
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
669 kr
Skickas inom 10-15 vardagar
Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
719 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
719 kr
Skickas inom 10-15 vardagar