Back, R.J.R. — Correctness preserving program refinements: Proof theory and applications
Mathematisch Centrum 1980 sewed, 118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Accedi
Numero libro:
232958
€12.00 ($13.39 | £10.04 | ¥2,126)