語系
Bernardo, Marco.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
Formal methods for executable software models[electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /
by:
Bernardo, Marco.; Clark Conference ((2005 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal methods for multicore programming[electronic resource] :15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures /
by:
Bernardo, Marco.; Clark Conference ((2005 :); Johnsen, Einar Broch.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Information Systems Applications (incl. Internet)
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Probability and Statistics in Computer Science.