Correctness preserving program refinements: Proof theory and applications
Back, R.J.R.
ISBN
-
Uitgever
Mathematisch Centrum 1980 sewed
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.