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.
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.