語系
Merz, Stephan.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Temporal Logic and State Systems
by:
Merz, Stephan.; SpringerLink (Online service); Kroger, Fred.
(書目-電子資源)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Mery, Dominique.; Merz, Stephan.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Formal methods (Computer science)
System design
Algorithm Analysis and Problem Complexity.
Computer Science.
Time.
Programming Techniques.
Logic, Symbolic and mathematical.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.