語系
Liu, Shaoying.
概要
作品: | 1 作品在 7 項出版品 1 種語言 |
---|
書目資訊
Structured object-oriented formal language and method = 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers /
by:
Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service); Liu, Ai.; SOFL+MSVL (Workshop) (2022 :)
(書目-電子資源)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service)
(書目-電子資源)
Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers /
by:
Liu, Shaoying.; SpringerLink (Online service); SOFL+MSVL (Workshop) (2016 :)
(書目-電子資源)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
Liu, Shaoying.; Maibaum, Tom.; Araki, Keijiro.; SpringerLink (Online service)
(書目-電子資源)
Structured object-oriented formal language and method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers /
by:
Liu, Shaoying.; Duan, Zhenhua.; SpringerLink (Online service)
(書目-電子資源)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
International Conference on Formal Engineering Methods (2016 :); Ogata, Kazuhiro.; Lawford, Mark.; Liu, Shaoying.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computer logic.
Theory of Computation.
Computing Methodologies.
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Software engineering.
Logic design.
Programming languages (Electronic computers)
Special Purpose and Application-Based Systems.
Models and Principles.
Computer Science.
Computer science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Computer System Implementation.
Computer programming.