語系
Zhu, Huibiao.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(1998 :); Dong, Jin Song.; SpringerLink (Online service); Zhu, Huibiao.
(書目-電子資源)
Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Science.
Computer Communication Networks.