語系
Merz, Stephan.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Temporal Logic and State Systems
by:
SpringerLink (Online service); Merz, Stephan.; Kroger, Fred.
(書目-語言資料,印刷品)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
SpringerLink (Online service); Merz, Stephan.; Blanchette, Jasmin Christian.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
Blanchette, Jasmin Christian.; SpringerLink (Online service); Merz, Stephan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Algorithm Analysis and Problem Complexity.
Computer logic.
Logic, Symbolic and mathematical.
Automatic theorem proving
System Performance and Evaluation.
Simulation and Modeling.
Software engineering.
Computer system failures.
Software engineering
Time.
Computer Science.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.