Cerone, Antonio books & textbook
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
Springer /2022-06-23 Hardcover / 552 Pages
isbn-10: 3030387992 / isbn-13: 9783030387990
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science)
Cerone, Antonio Roggenbach, Markus
Springer /2021-03-11 Paperback / 240 Pages
isbn-10: 3030713733 / isbn-13: 9783030713737
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)
Springer /2018-02-03 Paperback / 602 Pages
isbn-10: 3319747800 / isbn-13: 9783319747804
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science)
Cerone, Antonio Autili, Marco Bucaioni, Alessio Gomes, Cláudio Graziani, Pierluigi Palmieri, Maurizio Temperini, Marco Venture, Gentiane
Springer /2022-09-25 Paperback / 364 Pages
isbn-10: 3031124286 / isbn-13: 9783031124280
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and ... Papers (Programming and Software Engineering)
Cerone, Antonio Persico, Donatella Fernandes, Sara Garcia-Perez, Alexeis Katsaros, Panagiotis Shaikh, Siraj Ahmed Stamelos, Ioannis
Springer /2014-03-11 Paperback / 320 Pages
isbn-10: 3642543375 / isbn-13: 9783642543371
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science, 6916)
Cerone, Antonio Pihlajasaari, Pekka
Springer /2011-08-12 Paperback / 277 Pages
isbn-10: 3642232825 / isbn-13: 9783642232824
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in Computer Science, 4281)
Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio
Springer /2006-10-30 Paperback / 392 Pages
isbn-10: 3540488154 / isbn-13: 9783540488156
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
Springer /2023-11-05 Paperback / 184 Pages
isbn-10: 3031436776 / isbn-13: 9783031436772
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings (Theoretical Computer Science and General Issues)
Cerone, Antonio Ölveczky, Peter Csaba
Springer /2021-08-20 Paperback / 424 Pages
isbn-10: 3030853144 / isbn-13: 9783030853143
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science, 12310)
de Boer, Frank Cerone, Antonio
Springer /2020-09-12 Paperback / 340 Pages
isbn-10: 3030587673 / isbn-13: 9783030587673
