Hähnle, Reiner.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.