Hähnle, Reiner.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
van der Aalst, Wil.; Hähnle, Reiner.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Machine Learning for Dynamic Software Analysis: Potentials and Limits = International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /
by:
Meinke, Karl.; Bennaceur, Amel.; SpringerLink (Online service); Hähnle, Reiner.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY /
by:
Hähnle, Reiner.; Bubel, Richard.; SpringerLink (Online service); Ahrendt, Wolfgang.; Beckert, Bernhard.; Ulbrich, Mattias.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Deductive Software Verification – The KeY Book = From Theory to Practice /
by:
Ulbrich, Mattias.; Beckert, Bernhard.; Schmitt, Peter H.; SpringerLink (Online service); Ahrendt, Wolfgang.; Bubel, Richard.; Hähnle, Reiner.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Theory of Computation.
The Computing Profession.
Information Systems Applications (incl. Internet).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Application software.
Artificial Intelligence.
Simulation and Modeling.
Computer system failures.
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.