Antonio Cerone

Popular items by Antonio Cerone

View all offers

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Item prices starting from

� 32.21

View 34 offers

Also find
New, Used
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II: 12233 (Lecture Notes in Computer Science, 12233)

Item prices starting from

� 41.61

View 11 offers

Also find
New
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I: 12232 (Lecture Notes in Computer Science, 12232)

Item prices starting from

� 41.61

View 10 offers

Also find
New
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures: 13490 (Lecture Notes in Computer Science, 13490)

Item prices starting from

� 39.98

View 15 offers

Also find
New, Used
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... (Lecture Notes in Computer Science, 10729)

Item prices starting from

� 38.96

View 11 offers

Also find
New, Used
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... (Lecture Notes in Computer Science, 13230)

Item prices starting from

� 41.61

View 13 offers

Also find
New, Used
From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers: 14618 (Lecture Notes in Computer Science,...

Item prices starting from

� 84.84

View 10 offers

Also find
New