Languages
Liu, Zhiming.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
Clark Conference ((2005 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun.
(Language materials, printed)
Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
Clark Conference ((2005 :); Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili.
(Language materials, printed)
Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
Clark Conference ((2005 :); Li, Xuandong.; Liu, Zhiming.; SpringerLink (Online service); Yi, Wang.
(Language materials, printed)
Subjects
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.