言語
Seidl, Martina.
概観
| 著作: | 1 作品に 2 出版物中に 1 言語 | |
|---|---|---|
タイトル
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
…で:
Clark Conference ((2005 :); Seidl, Martina.; SpringerLink (Online service); Tillmann, Nikolai.
(言語・文字資料 (印刷物))
UML @ classroom[electronic resource] :an introduction to object-oriented modeling /
…で:
Seidl, Martina.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
UML (Computer science)
Logics and Meanings of Programs.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Object-oriented methods (Computer science)
Computer Science.
Simulation and Modeling.