語系
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.