言語
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 /
…で:
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 /
…で:
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 /
…で:
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.