Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation Kleuker, Stephan Heftet / 2009 / Tysk
Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen Kleuker, Stephan Heftet / 2026 / Tysk
Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen Kleuker, Stephan Heftet / 2019 / Tysk
Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage Kleuker, Stephan Heftet / 2024 / Tysk
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten Kleuker, Stephan Heftet / 2025 / Tysk
