Mathematical theory of program correctness
Jaco de Bakker
| Year of publication: |
1980 ; 1. [Dr.]
|
|---|---|
| Authors: | Bakker, Jacobus Willem de |
| Publisher: |
Englewood Cliffs, NJ [u.a.] : Prentice/Hall Internat. |
| Subject: | Programmierung | Verifikation | Programmverifikation |
| Extent: | XVI, 505 S. : graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-13-562132-1 |
| Source: |
Persistent link: https://www.econbiz.de/10004153109