言語
Liu, Zhiming.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
…で:
Clark Conference ((2005 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(言語・文字資料 (印刷物))
Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
…で:
Clark Conference ((2005 :); Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(言語・文字資料 (印刷物))
Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
…で:
Clark Conference ((2005 :); Li, Xuandong.; Liu, Zhiming.; SpringerLink (Online service); Yi, Wang.
(言語・文字資料 (印刷物))
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Computer logic.
Component software
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Programming Techniques.
Management of Computing and Information Systems.
Computer simulation.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Special Purpose and Application-Based Systems.
Computer Science.
Computer science.
Simulation and Modeling.