Languages
Seidl, Martina.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
UML @ classroom[electronic resource] :an introduction to object-oriented modeling /
by:
Seidl, Martina.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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.