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

679 kr

Skickas inom 7-10 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Av Markus Roggenbach, Antonio Cerone m. fl

Häftad, Engelska, 2023

519 kr

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

729 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

729 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

799 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

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

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

709 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

729 kr

Skickas inom 10-15 vardagar

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 079 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

729 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

729 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

689 kr

Skickas inom 10-15 vardagar