Languages
Yi, Wang.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
Steffen, Bernhard.; Olderog, Ernst-Rüdiger.; SpringerLink (Online service); Yi, Wang.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /
by:
Yi, Wang.; SpringerLink (Online service); Steffen, Bernhard.; Olderog, Ernst-Rüdiger.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
Li, Xuandong.; SpringerLink (Online service); Liu, Zhiming.; Yi, Wang.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Li, Xuandong.; Yi, Wang.; Liu, Zhiming.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Control Structures and Microprogramming.
Simulation and Modeling.
Software engineering.
Computers, Special purpose.
Computer science.
Software engineering
Computer Science.
Microprogramming .
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Special purpose computers.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Special Purpose and Application-Based Systems.