言語
Furia, Carlo A.
概観
| 著作: | 4 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
…で:
Aichernig, Bernhard K.; Clark Conference ((2005 :); Furia, Carlo A.; SpringerLink (Online service)
(コンピュータ・メディア)
Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
…で:
Clark Conference ((2005 :); Furia, Carlo A.; Nanz, Sebastian.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Model-driven software architecture
Logics and Meanings of Programs.
Programming Techniques.
Computer software
Object-oriented methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Science.
Computer Communication Networks.
Simulation and Modeling.
Object-oriented programming (Computer science)