Antonio Cerone

Identifiers

Open LibraryOL7204986A

Top Subjects

Information theory (1)
Electronic data processing (1)
Computer science (1)
Computer software (1)
Logic design (1)
Software engineering (1)

Books by Antonio Cerone

Total count: 11

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

Springer London, Limited2006-01-01
Theoretical Aspects of Computing – ICTAC 20118th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Information Technology and Open Source : Applications for Education, Innovation, and SustainabilitySEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers

Springer London, Limited2014-01-01
Information Technology and Open SourceApplications for Education, Innovation, and Sustainability

Springer2014-03-11
Software Engineering and Formal Methods : SEFM 2017 Collocated WorkshopsDataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ...

Springer2018-02-03
Software Engineering and Formal Methods18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings

Springer International Publishing AG2020-01-01
Formal Methods for Software EngineeringLanguages, Methods, Application Domains

Springer2020-09-22
Formal Methods - Fun for EverybodyFirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Proceedings

Springer International Publishing AG2021-01-01
Theoretical Aspects of Computing - ICTAC 202118th International Colloquium, Virtual Event, September 6-10, 2021, Proceedings

Springer International Publishing AG2021-01-01
Software Engineering and Formal Methods. SEFM 2021 Collocated WorkshopsCIFMA, Cosim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

Springer International Publishing AG2022-01-01
Formal Methods for an Informal WorldICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Springer International Publishing AG2023-01-01