Author: Back, R.J.R. Title: Correctness preserving program refinements: Proof theory and applications
Description: Mathematisch Centrum 1980 sewed, 118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
Keywords: mathematics
Price: EUR 12.00 = appr. US$ 13.04 Seller: Moby Dick
- Book number: 232958
See more books from our catalog:
Science