Antonio Cerone

Articoli popolari di Antonio Cerone

Visualizza tutte le offerte

Formal Methods for Software Engineering: Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Prezzi articolo a partire da

EUR 37,29

Visualizza 31 offerte

Trova anche
Nuovi, Antichi o usati
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures: 13490

Prezzi articolo a partire da

EUR 45,32

Visualizza 15 offerte

Trova anche
Nuovi, Antichi o usati
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I: 12232

Prezzi articolo a partire da

EUR 46,22

Visualizza 14 offerte

Trova anche
Nuovi
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: 10729

Prezzi articolo a partire da

EUR 46,25

Visualizza 11 offerte

Trova anche
Nuovi, Antichi o usati
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers: 13230

Prezzi articolo a partire da

EUR 46,22

Visualizza 15 offerte

Trova anche
Nuovi, Antichi o usati
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II: 12233

Prezzi articolo a partire da

EUR 46,22

Visualizza 14 offerte

Trova anche
Nuovi
From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers: 14618

Prezzi articolo a partire da

EUR 102,25

Visualizza 12 offerte

Trova anche
Nuovi