Akademibokhandeln

Antonio Cerone – författare

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

14 produkter

  1. Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden. Tillgänglighet: Lägg i varukorg

    Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    Av Markus Roggenbach, Antonio Cerone m. fl.

    Inbunden, 2022

    1179 kr

    Lägg i varukorg

  2. Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    Av Markus Roggenbach, Antonio Cerone m. fl.

    Häftad, 2023

    889 kr

    Lägg i varukorg

  3. 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. Tillgänglighet: Lägg i varukorg

    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, 2020

    739 kr

    Lägg i varukorg

  4. 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. Tillgänglighet: Lägg i varukorg

    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, 2020

    739 kr

    Lägg i varukorg

  5. Frank de Boer, Antonio Cerone - Software Engineering and Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2020

    809 kr

    Lägg i varukorg

  6. Antonio Cerone, Markus Roggenbach - Formal Methods – Fun for Everybody, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2021

    699 kr

    Lägg i varukorg

  7. Antonio Cerone, Peter Csaba Ölveczky - Theoretical Aspects of Computing – ICTAC 2021, Häftad. Tillgänglighet: Lägg i varukorg

    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

    Häftad, 2021

    1109 kr

    Lägg i varukorg

  8. 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. Tillgänglighet: Lägg i varukorg

    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, 2022

    719 kr

    Lägg i varukorg

  9. Antonio Cerone - Formal Methods for an Informal World, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2023

    739 kr

    Lägg i varukorg

  10. Giovanna Broccia, Antonio Cerone - From Data to Models and Back, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2025

    1759 kr

    Lägg i varukorg

  11. Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2018

    1089 kr

    Lägg i varukorg

  12. Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone - Theoretical Aspects of Computing - ICTAC 2006, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2006

    739 kr

    Lägg i varukorg

  13. Antonio Cerone, Pekka Pihlajasaari - Theoretical Aspects of Computing -- ICTAC 2011, Häftad. Tillgänglighet: Lägg i varukorg

    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, 2011

    739 kr

    Lägg i varukorg

  14. 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. Tillgänglighet: Lägg i varukorg

    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, 2014

    699 kr

    Lägg i varukorg