語系
Salaun, Gwen.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
Giannakopoulou, Dimitra.; Salaun, Gwen.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects of component software = 17th International Conference, FACS 2021, virtual event, October 28-29, 2021 : proceedings /
by:
Salaun, Gwen.; SpringerLink (Online service); Wijs, Anton.; FACS (Symposium) (2021 :)
(書目-電子資源)
Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2019 :); Salaun, Gwen.; SpringerLink (Online service); Olveczky, Peter Csaba.
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Logics and Meanings of Programs.
Component software
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Simulation and Modeling.
Computer System Implementation.