1
Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
2
Sustainable IT architecture : the progressive way of overhauling information systems with SOA /
Book
3
Object oriented design with applications /
Book
4
Advanced course on software engineering /
Book
5
A Practical handbook for software development /
Book
6
Annual Z user meeting 0004: proceedings : Z user workshop : Oxford, 15.12.89.
Book
7
Prototyping komplexer Softwaresysteme: Ansätze zum Prototyping und Vorschlag einer Vorgehensweise.
Book
8
Revisionskontrolle und Konsistenzkontrolle in einer integrierten Softwareentwicklungsumgebung.
Book
9
The art of readable code /
Book
Table of Contents 
10
International Workshop on Software Version and Configuration Control: proceedings : Grassau, 27.01.88-29.01.88.
Book
11
Modelling of software architectures: importance, notions, experiences.
Book
Nagl, M.
1990
12
A specification environment for graph grammars.
Book
Nagl, M.
1990
13
A transformation from requirements engineering into design: the method and the tool.
Book
14
CASE : Systeme und Werkzeuge /
Book
15
Refactoring : improving the design of existing code / with contributions by Kent Beck
Book
16
How to write good programs : a guide for students [E-Book] /
17
Exploit! : Code härten, Bugs analysieren, Hacks verstehen /
Book
18
The clean coder : a code of conduct for professional programmers /
Book