Ahrendt, Wolfgang.
概要
| 作品: | 1 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Deductive software verification - The KeY Bookfrom theory to practice /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
Deductive software verificationfuture perspectives : reflections on the occasion of 20 years of KeY /
by:
Ahrendt, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
by:
(1998 :); Ahrendt, Wolfgang.; SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.
(書目-電子資源)
The logic of softwarea tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
Ahrendt, Wolfgang.; Hähnle, Reiner.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofs14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings /
by:
(1998 :); Ahrendt, Wolfgang.; SpringerLink (Online service); Wehrheim, Heike.
(書目-電子資源)
主題
Computer logic.
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software engineering
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Logic in AI.
Software Engineering/Programming and Operating Systems.
Computer software
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Artificial Intelligence.
Computer science.
Computer Science.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
Artificial intelligence.