Correctness preserving program refinements: Proof theory and applications

Door: Back, R.J.R.

---

• ISBN:
• Uitgever: Mathematisch Centrum 1980 sewed
• Taal:
• Categorie: science
• Details:  118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
• Extra informatie:
• € 12.00