Buy Used and New Antonio Cerone Books

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, ... Papers (Lecture Notes in Computer Science)

by Antonio Cerone, Marco Roveri

ISBN 13: 9783319747804

Format: Paperback (604 pages)
Publisher: Springer
Published: 03 Feb 2018

Save for later

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... (Lecture Notes in Computer Science, 13230)

by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture

ISBN 13: 9783031124280

Format: Paperback (361 pages)
Publisher: Springer
Published: 25 Sep 2022

Save for later

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

ISBN 13: 9783030388027

Format: Paperback (552 pages)
Publisher: Springer
Published: 07 Jul 2023

Save for later