Á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 engineering.
Computer science—Mathematics.
Computer Modelling.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer Engineering and Networks.
Computer simulation.
Artificial Intelligence.
Computer science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.