27 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
27 results

Your search for Antonio Cerone

  1. Cover: Formal Methods for Software Engineering - Springer
    Markus Roggenbach | Antonio Cerone | Bernd-Holger Schlingloff
    Formal Methods for Software Engineering
    Languages, Methods, Application Domains
    06/2022
    Springer
    9783030388003 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: Theoretical Aspects of Computing - ICTAC 2021 - Springer
    Antonio Cerone | Peter Csaba Ölveczky
    Theoretical Aspects of Computing - ICTAC 2021
    18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
    08/2021
    Springer
    9783030853150 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  3. Cover: From Data to Models and Back - Springer
    Giovanna Broccia | Antonio Cerone
    From Data to Models and Back
    11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
    04/2025
    Springer
    9783031872174 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  4. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549947 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Software Engineering and Formal Methods - Springer
    Frank de Boer | Antonio Cerone
    Software Engineering and Formal Methods
    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    09/2020
    Springer
    9783030587680 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  6. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549978 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Formal Methods for an Informal World - Springer
    Antonio Cerone
    Formal Methods for an Informal World
    ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures
    11/2023
    Springer
    9783031436789 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Software Engineering and Formal Methods - Springer
    Antonio Cerone | Marco Roveri
    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
    02/2018
    Springer
    9783319747811 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  9. Cover: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - Springer
    Antonio Cerone | Marco Autili | Alessio Bucaioni
    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers
    09/2022
    Springer
    9783031124297 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Formal Methods - Fun for Everybody - Springer
    Antonio Cerone | Markus Roggenbach
    Formal Methods - Fun for Everybody
    First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
    03/2021
    Springer
    9783030713744 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: Theoretical Aspects of Computing -- ICTAC 2011 - Springer
    Antonio Cerone | Pekka Pihlajasaari
    Theoretical Aspects of Computing -- ICTAC 2011
    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    08/2011
    Springer
    9783642232831 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  12. Cover: Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - Springer
    Antonio Cerone | Donatella Persico | Sara Fernandes
    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
    03/2014
    Springer
    9783642543388 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  13. Cover: Formal Methods for Software Engineering - Springer
    Markus Roggenbach | Antonio Cerone | Bernd-Holger Schlingloff
    Formal Methods for Software Engineering
    Languages, Methods, Application Domains
    06/2023
    1st EDN1st Edition
    Springer
    9783030388027 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  14. Cover: Formal Methods for Software Engineering - Springer
    Markus Roggenbach | Antonio Cerone | Bernd-Holger Schlingloff
    Formal Methods for Software Engineering
    Languages, Methods, Application Domains
    06/2022
    1st EDN1st Edition
    Springer
    9783030387990 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 7-9 days
  15. Cover: Theoretical Aspects of Computing -- ICTAC 2011 - Springer
    Antonio Cerone | Pekka Pihlajasaari
    Theoretical Aspects of Computing -- ICTAC 2011
    8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
    08/2011
    1st EDN1st Edition
    Springer
    9783642232824 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  16. Cover: Theoretical Aspects of Computing - ICTAC 2021 - Springer
    Antonio Cerone | Peter Csaba Ölveczky
    Theoretical Aspects of Computing - ICTAC 2021
    18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
    08/2021
    Springer
    9783030853143 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 7-9 days
  17. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
    08/2020
    Springer
    9783030549930 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  18. Cover: Formal Methods. FM 2019 International Workshops - Springer
    Emil Sekerinski | Nelma Moreira | José N. Oliveira
    Formal Methods. FM 2019 International Workshops
    Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
    08/2020
    Springer
    9783030549961 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  19. Cover: Software Engineering and Formal Methods - Springer
    Frank de Boer | Antonio Cerone
    Software Engineering and Formal Methods
    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings
    09/2020
    Springer
    9783030587673 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 7-9 days
  20. Cover: Formal Methods - Fun for Everybody - Springer
    Antonio Cerone | Markus Roggenbach
    Formal Methods - Fun for Everybody
    First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
    03/2021
    Springer
    9783030713737 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
    2. of 2