語系
International Conference on Software Engineering and Formal Methods (2017 :)
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software engineering and formal methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017 : revised selected papers /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cerone, Antonio.; SpringerLink (Online service); CoSim-CPS (Workshop) (2017 :); International Workshop on the Foundations of Coordination Languages and Software Architectures (2017 :); MSE (Workshop) (2017 :); Roveri, Marco.; DataMod (Workshop) (2017 :); FAACS (Workshop) (2017 :)
(書目-電子資源)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
International Conference on Software Engineering and Formal Methods (2017 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Theory of Computation.
Computing Methodologies.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.