Title:
Analyse und Verifikation von Programmen : Systemat. Verfahr. u. Untersuch. z. Erstell. fehlerfreier Software
Author:
Endres, Albert
Publisher:
Muenchen u.a. :Oldenbourg,
Year of publication:
1977
Pages:
405 S.
Series Statement:
Reihe Datenverarbeitung
Type of Medium:
Book