Analyse und Verifikation von Programmen
Subtitle: systemat. Verfahren u. Unters. zur Erstellung fehlerfreier Software
By: von Albert Endres.
Edition: 1. Aufl.
Series: Reihe Datenverarbeitung
Publisher: Oldenbourg
Published: 1977
Place of publication: München; Wien
Language: ger
Number of pages: 405
Subjects: Computer software -- Evaluation.; Computer software -- Testing.; Debugging in computer science.
Notes: Bibliography: p. [392]-399.
Includes index.