Antonio Cerone
Articles populaires de Antonio Cerone
Afficher toutes les offres-
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Prix des articles à partir de
Afficher les 34 offresEUR 38,36
-
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Prix des articles à partir de
Afficher les 17 offresEUR 20,71
-
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Prix des articles à partir de
Afficher les 15 offresEUR 46,22
Rechercher également
Neuf -
-
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Prix des articles à partir de
Afficher les 15 offresEUR 46,22
Rechercher également
Neuf -
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Prix des articles à partir de
Afficher les 12 offresEUR 75,07
Rechercher également
Neuf -
From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
Prix des articles à partir de
Afficher les 11 offresEUR 100,41
Rechercher également
Neuf
