logo
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Program Construction: Calculating Implementations from Specifications by Roland Backhouse ISBN 9780470848821, 0470848820

  • SKU: EBN-2105938
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

0.0

0 reviews
Instant download (eBook) Program Construction: Calculating Implementations from Specifications after payment.
Authors:Roland Backhouse
Pages:353 pages.
Year:2003
Editon:1
Publisher:John Wiley & Sons, Ltd
Language:english
File Size:19.79 MB
Format:pdf
ISBNS:9780470848821, 0470848820
Categories: Ebooks

Product desciption

(Ebook) Program Construction: Calculating Implementations from Specifications by Roland Backhouse ISBN 9780470848821, 0470848820

Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmerThis comprehensive guide is a balanced combination of mathematical theory and the practice of programmingStraightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functionsIncludes a wide range of entertaining and challenging examples and exercises
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products