語系
Feng, Xinyu.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(1998 :); Feng, Xinyu.; Park, Sungwoo.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.