语系
De Nicola, Rocco.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
Software engineering and formal methods[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
Clark Conference ((2005 :); De Nicola, Rocco.; Kuhn, Eva.; SpringerLink (Online service)
(书目-电子资源)
Formal methods for the quantitative evaluation of collective adaptive systems[electronic resource] :16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures /
by:
Bernardo, Marco.; Clark Conference ((2005 :); De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service)
(书目-电子资源)
主题
Mathematical Logic and Formal Languages.
Software Engineering.
Software engineering
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Computer software
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Probability and Statistics in Computer Science.
Computer Science.