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.
Computer system failures.
Japan
The Computing Profession.
Computers.
East Asia
Software engineering
Computer Science.
Programming Techniques.
Strategic rivalries (World politics)
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Special purpose computers.
Special Purpose and Application-Based Systems.