Antonio Cerone | Akateeminen Kirjakauppa

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 €

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

120,90 €

Formal Methods for Software Engineering

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

118,60 €

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

Cerone, Antonio; Pihlajasaari, Pekka
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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 €

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