Hoppa till sidans huvudinnehåll

Antonio Cerone - Böcker

Visar alla böcker från författaren Antonio Cerone.
14 produkter

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Inbunden, Engelska, 2022

669 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Häftad, Engelska, 2023

509 kr

Skickas inom 5-8 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

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

Av Frank de Boer, Antonio Cerone

Häftad, Engelska, 2020

809 kr

Skickas inom 10-15 vardagar
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

Av Antonio Cerone, Markus Roggenbach

Häftad, Engelska, 2021

699 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2021

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

Av Antonio Cerone, Peter Csaba Ölveczky m. fl

Häftad, Engelska, 2021

1 089 kr

Skickas onsdag 3/12
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

Av Antonio Cerone, Marco Autili m. fl

Häftad, Engelska, 2022

719 kr

Skickas inom 10-15 vardagar

Formal Methods for an Informal World

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

Av Antonio Cerone

Häftad, Engelska, 2023

739 kr

Skickas inom 10-15 vardagar
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

Av Giovanna Broccia, Antonio Cerone

Häftad, Engelska, 2025

1 849 kr

Skickas inom 10-15 vardagar

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

Av Antonio Cerone, Marco Roveri

Häftad, Engelska, 2018

1 089 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2006

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

Av Kamel Barkaoui, Ana Cavalcanti m. fl

Häftad, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing -- ICTAC 2011

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

Av Antonio Cerone, Pekka Pihlajasaari

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar

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

Av Antonio Cerone, Donatella Persico m. fl

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar