Wies, Thomas.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
Wies, Thomas.; Paskevich, Andrei.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
Wies, Thomas.; Finkbeiner, Bernd.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computer networks .
Artificial intelligence.
Computer Communication Networks.
Simulation and Modeling.
Computer science.
Theory of Computation.
The Computing Profession.
Computer Science.
Compilers (Computer programs)
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Computer software