|
|

avaa valikko

Heike Wehrheim | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Co
Wehrheim, Heike; Cabot, Jordi
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Co
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Integrated Formal Methods - 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Leuschel, Michael; Wehrheim, Heike
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja
Integrated Formal Methods - 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy
Gorrieri, Roberto; Wehrheim, Heike
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, Se
Meyer, Roland; Platzer, André; Wehrheim, Heike
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, Se
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Tests and Proofs - 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceed
Ahrendt, Wolfgang; Wehrheim, Heike
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tests and Proofs - 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Theoretical Aspects of Computing – ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceed
Liu, Zhiming; Saoud, Adnane; Wehrheim, Heike
Springer Nature Switzerland AG
2025
Pehmeäkantinen kirja
Theoretical Aspects of Computing – ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
96,70 €