Erika Ábrahám
Identifiers
- Open LibraryOL7846564A
Top Subjects
- Software engineering (1)
- Computer science (1)
- Mathematics (1)
Books by Erika Ábrahám
Total count: 6
-
Formal Techniques for Distributed Objects, Components, and Systems34th 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, ProceedingsSpringer London, Limited2014-01-01
-
Integrated Formal Methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, ProceedingsSpringer London, Limited2016-01-01
-
Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th BirthdaySpringer London, Limited2016-01-01
-
Quantitative Evaluation of Systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, ProceedingsSpringer International Publishing AG2022-01-01
-
Theoretical Aspects of Computing - ICTAC 202320th International Colloquium, Lima, Peru, December 4-8, 2023, ProceedingsSpringer2023-01-01
-
Fundamentals of Software Engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected PapersSpringer2023-01-01