Languages
Sun, Jing.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
by:
Sun, Meng.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jing.
(Language materials, printed)
Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
by:
Sun, Meng.; SpringerLink (Online service); Sun, Jing.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Japan and China as charm rivals = soft powerin regional diplomacy /
by:
Project Muse.; East Asia; Sun, Jing.; China; Japan
(Language materials, printed)
Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Sun, Jing.; Groves, Lindsay.
(Language materials, printed)
Subjects
China
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
System Performance and Evaluation.
Software engineering.
Japan
The Computing Profession.
Computer Science.
Programming Techniques.
Strategic rivalries (World politics)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Special Purpose and Application-Based Systems.
Computer system failures.
Computers.
East Asia
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software