語系
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.