語系
Chang, Bor-Yuh Evan.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Chang, Bor-Yuh Evan.
(書目-語言資料,印刷品)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
SpringerLink (Online service); Chang, Bor-Yuh Evan.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
System Performance and Evaluation.
Software engineering.
Theory of Computation.
The Computing Profession.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Computer Hardware.
Computer programming
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.