語系
De Nicola, Rocco.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for the quantitative evaluation of collective adaptive systems = 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.; De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages = 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings /
by:
De Nicola, Rocco.; Ferrari, Gianluigi.; Meredith, Greg.; SpringerLink (Online service); Coordination 2004 ((2004 :)
(書目-語言資料,印刷品)
Coordination models and languages = 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings /
by:
De Nicola, Rocco.; Ferrari, Gianluigi.; Meredith, Greg.; NetLibrary, Inc.; Coordination 2004 ((2004 :)
(書目-語言資料,印刷品)
Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
by:
De Nicola, Rocco.; Sangiorgi, Davide.; SpringerLink (Online service); TGC 2005 ((2005 :)
(書目-語言資料,印刷品)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
De Nicola, Rocco.; SpringerLink (Online service); Kuhn, Eva.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Computer software- Validation
Logics and Meanings of Programs.
Parallel processing (Electronic computers)- Congresses.
Operating Systems.
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer networks- Security measures
Electronic data processing- Distributed processing
Computer science
Computer security
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer software- Development
Probability and Statistics in Computer Science.