Proving programs correct
| Year of publication: |
1979
|
|---|---|
| Authors: | Anderson, Robert B. |
| Publisher: |
New York : Wiley |
| Subject: | Programmverifikation |
| Extent: | 184 S. |
|---|---|
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-471-03395-2 |
| Source: |
Persistent link: https://www.econbiz.de/10003998415