語系
Qin, Shengchao.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings /
by:
International Conference on Formal Engineering Methods (2019 :); Ait-Ameur, Yamine.; Qin, Shengchao.; SpringerLink (Online service)
(書目-電子資源)
Dependable software engineering = theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings /
by:
SETTA (Symposium) (2021 :); Qin, Shengchao.; Woodcock, Jim.; SpringerLink (Online service); Zhang, Wenhui.
(書目-電子資源)
Unifying theories of programming = Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, proceedings /
by:
Qin, Shengchao.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Artificial Intelligence.
Computer Science.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.