Languages
De Nicola, Rocco.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.