|
|

avaa valikko

Marieke Huisman | Akateeminen Kirjakauppa

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



Huisman, Marieke; Rubin, Julia
Springer
2017
Pehmeäkantinen kirja
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Huisman, Marieke; Păsăreanu, Corina; Zhan, Naijun
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €
Huisman, Marieke; Wijs, Anton
Springer International Publishing AG
2023
Kovakantinen kirja
Concise Guide to Software Verification - From Model Checking to Annotation Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Huisman, Marieke; Ravara, António
Springer
2023
Pehmeäkantinen kirja
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,10 €
Huisman, Marieke; Wijs, Anton
Springer International Publishing AG
2024
Pehmeäkantinen kirja
Concise Guide to Software Verification - From Model Checking to Annotation Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Huisman, Marieke; Howar, Falk
Springer
2024
Pehmeäkantinen kirja
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
130,80 €
Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Lanet, Jean-Louis; Muntean, Traian
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille, Fra
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Barthe, Gilles; Gregoire, Benjamin; Huisman, Marieke; Lanet, Jean-Luis
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, F
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ábrahám, Erika; Huisman, Marieke
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Beyer, Dirk; Huisman, Marieke
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Beyer, Dirk; Huisman, Marieke
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Springer
2019
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Groote, Jan Friso; Huisman, Marieke
Springer
2022
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
71,10 €

Näytä lisää...