Analyse und Verifikation von Programmen : systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Munchen Wien :
R. Oldenbourg,
1977
|
| Series: | Reihe Datenverarbeitung
|
| Subjects: |
| Physical Description: | 405 p. : tabs ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index |
| ISBN: | 348621361X |