言語
Calinescu, Radu.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
…で:
Calinescu, Radu.; Clark Conference ((2005 :); Rumpe, Bernhard.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
Software engineering and formal methods[electronic resource] :SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
…で:
Bianculli, Domenico.; Calinescu, Radu.; Clark Conference ((2005 :); Rumpe, Bernhard.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Database Management.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Probability and Statistics in Computer Science.