Abraham, Erika.
Overview
| Works: | 0 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Theoretical aspects of computing - ICTAC 2023 = 20th International Colloquium, Lima, Peru, December 4-8, 2023 : proceedings /
by:
Tapia Tarifa, Silvia Lizeth.; Dubslaff, Clemens.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(Language materials, printed)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
Abraham, Erika.; SpringerLink (Online service); Bonsangue, Marcello.; Johnsen, Einar Broch.
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.; Havelund, Klaus.
(Language materials, printed)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(Language materials, printed)
Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers /
by:
Hojjat, Hossein.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer science
System design
Artificial Intelligence (incl. Robotics)
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Computer science.
Programming languages (Electronic computers)
Software engineering
System analysis
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.
Computer Science Logic and Foundations of Programming.