Ahrendt, Wolfgang.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Deductive software verification = future perspectives : reflections on the occasion of 20 years of KeY /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofs = 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
TAP (Conference) (2020 :); Ahrendt, Wolfgang.; SpringerLink (Online service); STAF (Federation of conferences) ((2020 :); Wehrheim, Heike.
(書目-電子資源)
Deductive software verification - The KeY Book = from theory to practice /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service); Hähnle, Reiner.
(書目-電子資源)
主題
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computer software- Verification.
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer software- Testing
Computer Engineering and Networks.
Artificial Intelligence.
Computer science.
Computer Science.
Computer software- Verification
Computer System Implementation.
Artificial intelligence.