14 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Erika Ábrahám

  1. Cover: Runtime Verification - Springer
    Erika Ábrahám | Houssam Abbas
    Runtime Verification
    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    10/2024
    Springer
    9783031742347 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Fundamentals of Software Engineering - Springer
    Hossein Hojjat | Erika Ábrahám
    Fundamentals of Software Engineering
    10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
    08/2023
    Springer
    9783031424410 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  3. Cover: Theoretical Aspects of Computing - ICTAC 2023 - Springer
    Erika Ábrahám | Clemens Dubslaff | Silvia Lizeth Tapia Tarifa
    Theoretical Aspects of Computing - ICTAC 2023
    20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
    11/2023
    Springer
    9783031479632 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  4. Cover: Quantitative Evaluation of Systems - Springer
    Erika Ábrahám | Marco Paolieri
    Quantitative Evaluation of Systems
    19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
    09/2022
    Springer
    9783031163364 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Integrated Formal Methods - Springer
    Erika Ábrahám | Marieke Huisman
    Integrated Formal Methods
    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    05/2016
    Springer
    9783319336930 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  6. Cover: Theory and Practice of Formal Methods - Springer
    Erika Ábrahám | Marcello Bonsangue | Einar Broch Johnsen
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    03/2016
    Springer
    9783319307343 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Erika Ábrahám | Catuscia Palamidessi
    Formal Techniques for Distributed Objects, Components, and Systems
    34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    05/2014
    Springer
    9783662436134 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Erika Ábrahám | Catuscia Palamidessi
    Formal Techniques for Distributed Objects, Components, and Systems
    34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    05/2014
    Springer
    9783662436127 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Runtime Verification - Springer
    Erika Ábrahám | Houssam Abbas
    Runtime Verification
    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    10/2024
    Springer
    9783031742330 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 15-20 days
  10. Cover: Integrated Formal Methods - Springer
    Erika Ábrahám | Marieke Huisman
    Integrated Formal Methods
    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    05/2016
    Springer
    9783319336923 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 10-15 days
  11. Cover: Theory and Practice of Formal Methods - Springer
    Erika Ábrahám | Marcello Bonsangue | Einar Broch Johnsen
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    03/2016
    Springer
    9783319307336 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Fundamentals of Software Engineering - Springer
    Hossein Hojjat | Erika Ábrahám
    Fundamentals of Software Engineering
    10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
    08/2023
    Springer
    9783031424403 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 15-20 days
  13. Cover: Theoretical Aspects of Computing - ICTAC 2023 - Springer
    Erika Ábrahám | Clemens Dubslaff | Silvia Lizeth Tapia Tarifa
    Theoretical Aspects of Computing - ICTAC 2023
    20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
    11/2023
    Springer
    9783031479625 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days
  14. Cover: Quantitative Evaluation of Systems - Springer
    Erika Ábrahám | Marco Paolieri
    Quantitative Evaluation of Systems
    19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
    09/2022
    Springer
    9783031163357 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days