The foundations of program verification
- Författare
- Jacques Loeckx
- (Jacques Loeckx and Kurt Sieber in collaboration with Ryan D. Stansifer.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley, Teubner | cop. 1987 | Storbritannien, Chichester, Stuttgart | ix, 230 sidor. | |
| Wiley, Teubner | cop. 1984 | Storbritannien, Chichester, Stuttgart | 230 sidor. | 0-471-90323-X, 3-519-02101-3 |