SULJE VALIKKO

avaa valikko

Marieke Huisman | Akateeminen Kirjakauppa

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



Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Co
Marieke Huisman; Julia Rubin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2017)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Marieke Huisman (ed.); Corina Păsăreanu (ed.); Naijun Zhan (ed.)
Springer (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
107,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman; Anton Wijs
Springer (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held
Marieke Huisman; António Ravara
Springer International Publishing AG (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concise Guide to Software Verification - From Model Checking to Annotation Checking
Marieke Huisman; Anton Wijs
Springer International Publishing AG (2024)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Marieke Huisman; Falk Howar
Springer International Publishing AG (2024)
Saatavuus: Tulossa!
Pehmeäkantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - International Workshop, CASSIS 2004, Marseille, Fra
Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean-Louis Lanet; Traian Muntean
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Second International Workshop, CASSIS 2005, Nice, F
Gilles Barthe; Benjamin Gregoire; Marieke Huisman; Jean-Luis Lanet
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Erika Ábrahám; Marieke Huisman
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of t
Dirk Beyer; Marieke Huisman
Springer International Publishing AG (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of t
Dirk Beyer; Marieke Huisman
Springer International Publishing AG (2018)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, P
Dirk Beyer; Marieke Huisman; Fabrice Kordon; Bernhard Steffen
Springer Nature Switzerland AG (2019)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 202
Jan Friso Groote (ed.); Marieke Huisman (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
68,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Co
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 444 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 22.03.2017 (lisätietoa)
Kieli: Englanti
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines. 

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 16-19 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Cozoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste