Ábrahám, Erika.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
SpringerLink (Online service); Ábrahám, Erika.; Bonsangue, Marcello.; Johnsen, Einar Broch.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
Ábrahám, Erika.; Huisman, Marieke.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
by:
Ábrahám, Erika.; SpringerLink (Online service); Paolieri, Marco.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer engineering.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Software engineering.
Computer science.
Theory of Computation.
Mathematics of Computing.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.
Computer Engineering and Networks.
Artificial Intelligence.