Antonio Cerone | Akateeminen Kirjakauppa

Formal Methods for Software Engineering

Markus Roggenbach, Roggenbach; Antonio Cerone, Cerone; Bernd-Holger Schlingloff, Schlingloff
Springer Nature B.V.
2022
Pehmeäkantinen kirja

115,10 €

Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 --

Cerone, Antonio; Pihlajasaari, Pekka
Springer
2011
Pehmeäkantinen kirja

51,10 €

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events,

Cerone, Antonio; Persico, Donatella; Fernandes, Sara; Garcia-Perez, Alexeis; Katsaros, Panagiotis; Shaikh, Siraj Ahmed; Stamelos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA,

Cerone, Antonio; Roveri, Marco
Springer
2018
Pehmeäkantinen kirja

75,10 €

Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September

Cerone, Antonio; Ölveczky, Peter Csaba
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

76,00 €

Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019,

Cerone, Antonio; Roggenbach, Markus
Springer
2021
Pehmeäkantinen kirja

51,10 €

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event,

Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Ve
Springer
2022
Pehmeäkantinen kirja

51,10 €

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021,

Cerone, Antonio
Springer
2023
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods for Software Engineering - Languages, Methods, Application Domains

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer Nature Switzerland AG
2022
Kovakantinen kirja

76,00 €

Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18,

de Boer, Frank; Cerone, Antonio
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

56,10 €

Formal Methods for Software Engineering - Languages, Methods, Application Domains

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Springer Nature Switzerland AG
2023
Pehmeäkantinen kirja

56,10 €

From Data to Models and Back : 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7,

Broccia, Giovanna; Cerone, Antonio
Springer
2025
Pehmeäkantinen kirja

110,90 €