Hoppa till sidans huvudinnehåll

Antonio Cerone – författare

Visar alla böcker från författaren Antonio Cerone.
14 produkter
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Inbunden, Engelska, 2022

719 kr

Skickas inom 5-8 vardagar

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

549 kr

Skickas inom 5-8 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12232 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12233 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Frank de Boer, Antonio Cerone - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

AvFrank de Boer,Antonio Cerone

Häftad, Engelska, 2020

799 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Markus Roggenbach - Formal Methods – Fun for Everybody, Häftad
Del 1301 - Communications in Computer and Information Science

Formal Methods – Fun for Everybody

First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

AvAntonio Cerone,Markus Roggenbach

Häftad, Engelska, 2021

689 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Peter Csaba Ölveczky - Theoretical Aspects of Computing – ICTAC 2021, Häftad
Del 12819 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2021

18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

AvAntonio Cerone,Peter Csaba Ölveczky

Häftad, Engelska, 2021

1 089 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, Häftad
Del 13230 - Lecture Notes in Computer Science

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

AvAntonio Cerone,Marco Autilim. fl.

Häftad, Engelska, 2022

709 kr

Skickas inom 10-15 vardagar

Antonio Cerone - Formal Methods for an Informal World, Häftad
Del 13490 - Lecture Notes in Computer Science

Formal Methods for an Informal World

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

AvAntonio Cerone

Häftad, Engelska, 2023

729 kr

Skickas inom 10-15 vardagar

Giovanna Broccia, Antonio Cerone - From Data to Models and Back, Häftad
Del 14618 - Lecture Notes in Computer Science

From Data to Models and Back

11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers

AvGiovanna Broccia,Antonio Cerone

Häftad, Engelska, 2025

1 739 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods, Häftad
Del 10729 - Lecture Notes in Computer Science

Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

AvAntonio Cerone,Marco Roveri

Häftad, Engelska, 2018

1 069 kr

Skickas inom 10-15 vardagar

Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone - Theoretical Aspects of Computing - ICTAC 2006, Häftad

Theoretical Aspects of Computing - ICTAC 2006

Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings

AvKamel Barkaoui,Ana Cavalcantim. fl.

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Pekka Pihlajasaari - Theoretical Aspects of Computing -- ICTAC 2011, Häftad

Theoretical Aspects of Computing -- ICTAC 2011

8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings

AvAntonio Cerone,Pekka Pihlajasaari

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos - Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, Häftad

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability

SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

AvAntonio Cerone,Donatella Persicom. fl.

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar