Languages
De Nicola, Rocco.
Overview
| Works: | 5 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Software engineering and formal methods14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(1998 :); De Nicola, Rocco.; Kuhn, Eva.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings /
by:
(1998 :); De Nicola, Rocco.; Ferrari, Gianluigi.; Meredith, Greg.; SpringerLink (Online service)
(Electronic resources)
Trustworthy Global Computing :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
(1998 :); De Nicola, Rocco.; Sangiorgi, Davide.; SpringerLink (Online service)
(Electronic resources)
Models, languages, and tools for concurrent and distributed programmingessays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
Boreale, Michele.; De Nicola, Rocco.; SpringerLink (Online service)
(Electronic resources)
Formal methods for the quantitative evaluation of collective adaptive systems16th 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:
(1998 :); Bernardo, Marco.; De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Electronic data processing
De Nicola, Rocco.
Computer software
Operating Systems.
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Software engineering.
Logic design.
Computer security
Computer science
Computer Science.
Computer Communication Networks.
Computer networks
Parallel processing (Electronic computers)
Probability and Statistics in Computer Science.
Computer System Implementation.