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

AvMarkus Roggenbach,Antonio Cerone m. fl.

Inbunden, Engelska, 2022

659 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Cerone m. fl.

Häftad, Engelska, 2023

519 kr

Skickas inom 5-8 vardagar

Formal Methods. FM 2019 International Workshops

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

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

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

789 kr

Skickas inom 10-15 vardagar

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

679 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

AvAntonio Cerone,Peter Csaba Ölveczky m. fl.

Häftad, Engelska, 2021

1 069 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

AvAntonio Cerone,Marco Autili m. fl.

Häftad, Engelska, 2022

699 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

AvAntonio Cerone

Häftad, Engelska, 2023

719 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

AvGiovanna Broccia,Antonio Cerone

Häftad, Engelska, 2025

1 569 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

AvAntonio Cerone,Marco Roveri

Häftad, Engelska, 2018

1 059 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2006

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

AvKamel Barkaoui,Ana Cavalcanti m. fl.

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

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

719 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

AvAntonio Cerone,Donatella Persico m. fl.

Häftad, Engelska, 2014

679 kr

Skickas inom 10-15 vardagar