Back, R.J.R. - Correctness preserving program refinements: Proof theory and applicationsMathematisch Centrum 1980 sewed, 118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51) EUR 12.00 [Appr.: US$ 12.89 | £UK 10.5 | JP¥ 2001] Book number 232958We regret that this particular copy is temporarily not available. You may try to find another copy by using the search function. Apologies for the inconvenience! |
Do you want to see
- more titles like this one?