语系
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 /
by:
Clark Conference ((2005 :); Seidl, Martina.; SpringerLink (Online service); Tillmann, Nikolai.
(书目-语言数据,印刷品)
UML @ classroom[electronic resource] :an introduction to object-oriented modeling /
by:
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.