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 Ceronem. fl.

Inbunden, Engelska, 2022

679 kr

Skickas inom 5-8 vardagar

Formal Methods for Software Engineering

Languages, Methods, Application Domains

AvMarkus Roggenbach,Antonio Ceronem. fl.

Häftad, Engelska, 2023

539 kr

Skickas inom 5-8 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

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

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 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 Autilim. fl.

Häftad, Engelska, 2022

699 kr

Skickas inom 10-15 vardagar

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

719 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

AvGiovanna Broccia,Antonio Cerone

Häftad, Engelska, 2025

1 709 kr

Skickas inom 10-15 vardagar

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 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 Cavalcantim. 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 Persicom. fl.

Häftad, Engelska, 2014

679 kr

Skickas inom 10-15 vardagar