Roland C. Backhouse: Program Construction: Calculating Implementations from Specifications
____________________________
Author: Roland C. Backhouse
Number of Pages: 352 pages
Published Date: 23 May 2003
Publisher: John Wiley and Sons Ltd
Publication Country: Chichester, United Kingdom
Language: English
ISBN: 9780470848821
Download Link: Click Here
____________________________