Suchergebnis

Cover von Einführung in die Programmverifikation
Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal
Verfasser: Hohlfeld, Bernhard; Struckmann, Werner Suche nach diesem Verfasser
Jahr: 1992
Verlag: Mannheim, BI
Reihe: Reihe Informatik; 88
Cover von Modultest und Modulverifikation
state of the art
Verfasser: Liggesmeyer, Peter Suche nach diesem Verfasser
Jahr: 1990
Verlag: Mannheim, BI
Reihe: Angewandte Informatik; 4
Cover von Software-Verifikation
Verfahren für den Zuverlässigkeitsnachweis von Software
Verfasser: Ehrenberger, Wolfgang Suche nach diesem Verfasser
Jahr: 2002
Verlag: München, Hanser
Cover von Fehlerfreie Programmierung für den Software-Zauberlehrling
Verfasser: Baber, Robert L. Suche nach diesem Verfasser
Jahr: 1990
Verlag: München [u.a.], Oldenbourg
Cover von Verifikation und Validation
Software-Test für Studenten und Praktiker
Verfasser: Thaller, Georg E. Suche nach diesem Verfasser
Jahr: 1994
Verlag: Braunschweig, Vieweg
Cover von Algorithmik
die Kunst des Rechnens
Verfasser: Harel, David; Feldman, Yishai Suche nach diesem Verfasser
Jahr: 2006
Verlag: Berlin [u.a.], Springer
Mediengruppe: Sachbuch
OPEN V 11.1.0.0