The foundations of program verification
Jacques Loeckx and Kurt Sieber
| Year of publication: |
1984
|
|---|---|
| Authors: | Loeckx, Jacques ; Sieber, Kurt |
| Publisher: |
Stuttgart : Teubner [u.a.] |
| Subject: | Programmverifikation |
| Extent: | IX, 230 S. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| ISBN: | 0-471-90323-X ; 3-519-02101-3 |
| Source: |
Persistent link: https://www.econbiz.de/10004618824