Xue, Jinyun.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
Nagoya, Fumiko.; Duan, Zhenhua.; Liu, Shaoying.; Xue, Jinyun.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
Xue, Jinyun.; Nagoya, Fumiko.; Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Computer systems.
Control Structures and Microprogramming.
Formal Languages and Automata Theory.
Software engineering.
Computer science.
Machine theory.
Architecture, Computer.
Microprogramming .
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Science Logic and Foundations of Programming.