语系
Liu, Shaoying.
概要
作品: | 9 作品在 4 项出版品 1 种语言 |
---|
书目信息
Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
Clark Conference ((2005 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
Araki, Keijiro.; Clark Conference ((2005 :); Liu, Shaoying.; Maibaum, Tom.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
Clark Conference ((2005 :); Lawford, Mark.; Liu, Shaoying.; Ogata, Kazuhiro.; SpringerLink (Online service)
(书目-电子资源)
Structured object-oriented formal language and method[electronic resource] :third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
Clark Conference ((2005 :); Duan, Zhenhua.; Liu, Shaoying.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Software engineering.
Logic design.
Programming languages (Electronic computers)
Models and Principles.
Computer Science.
Computer science.
Computer Communication Networks.
Computer programming.