語系
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.
Automatic theorem proving
System Performance and Evaluation.
Software engineering.
Time.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer simulation.
Logic, Symbolic and mathematical.
Simulation and Modeling.
Computer system failures.
Software engineering
Programming Languages, Compilers, Interpreters.