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)
Keywords: science Wiskunde
Price: EUR 12.00 = appr. US$ 13.04 Seller: Moby Dick
- Book number: 232958
See more books from our catalog:
Science