語系
Merz, Stephan.
概要
| 作品: | 21 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated formal methods8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(1998 :); Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service)
(書目-電子資源)
Interactive theorem proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(1998 :); Blanchette, Jasmin Christian.; Merz, Stephan.; SpringerLink (Online service)
(書目-電子資源)
Temporal Logic and State Systems
by:
Kroger, Fred.; Merz, Stephan.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings /
by:
(1998 :); Merz, Stephan.; Pang, Jun.; SpringerLink (Online service)
(書目-電子資源)
主題
Time.
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logic, Symbolic and mathematical.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
System design
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Simulation and Modeling.