Programmentwicklung und Verifikation
By: Gerald Futschek.
Series: Springers angewandte Informatik,
Publisher: Springer-Verlag
Published: 1989
Place of publication: Wien; New York
Language: ger
Number of pages: 183
Subjects: Computer programming.; Computer programs -- Verification.
Notes: Includes bibliographical references (p. [179]).