The foundations of program verification
Door: Loeckx, Jacques and Kurt Sieber
- ISBN:
- Uitgever: John Wiley & Sons 1984 cloth
- Taal: ------------------
- Categorie: science
- Details: 230 pp. Wiley-Teubner Series in Computer Science ISBN (3519021013) (code Sc-51)
- Extra informatie:
-
€ 40.00
