語系
Salaun, Gwen.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :); Schatz, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers /
by:
Mazzara, Manuel.; Ober, Iulian.; SpringerLink (Online service); Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
SpringerLink (Online service); Salaun, Gwen.; Workshop on the Preservation of Stability under Discretization ((2001 :); Pasareanu, Corina S.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer Science.
Computer programs
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Component software
Computer science
Management of Computing and Information Systems.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software