Languages
Merz, Stephan.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Temporal Logic and State Systems
by:
SpringerLink (Online service); Merz, Stephan.; Kroger, Fred.
(Language materials, printed)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
SpringerLink (Online service); Merz, Stephan.; Blanchette, Jasmin Christian.
(Language materials, printed)
, [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 :)
(Language materials, printed)
Subjects
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.