語系
Muller-Olm, Markus.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Dependable software engineeringtheories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(1998 :); Feng, Xinyu.; Muller-Olm, Markus.; SpringerLink (Online service); Yang, Zijiang.
(書目-電子資源)
Static analysis21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
(1998 :); Muller-Olm, Markus.; Seidl, Helmut.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Variations on ConstantsFlow Analysis of Sequential and Parallel Programs /
by:
Muller-Olm, Markus.; SpringerLink (Online service)
(書目-電子資源)
Modular compiler verificationa refinement-algebraic approach advocating stepwise abstraction /
by:
Muller-Olm, Markus.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Variables (Mathematics)
Software engineering
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Compilers (Computer programs)
Computer software
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer programming
Parallel programming (Computer science)
Sequential processing (Computer science)
Mathematical constants.
Computer programs
Computer Science.
System Performance and Evaluation.