Antonio+Cerone | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?

Formal Methods for Software Engineering

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

118,80 €

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,40 €

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,40 €

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

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

75,40 €

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,40 €

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

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

51,40 €

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

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

51,40 €

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

Cerone, Antonio (ed.)
Springer
2023
Pehmeäkantinen kirja

51,40 €

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,40 €

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,40 €

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,40 €

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