言語
Meyer, Bertrand.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
…で:
Clark Conference ((2005 :); Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
…で:
Clark Conference ((2005 :); Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer Science.