Program Construction - Calculating Implementations from Specifications / Najlacnejšie knihy
Program Construction - Calculating Implementations  from Specifications

Code: 04886165

Program Construction - Calculating Implementations from Specifications

by Roland C. Backhouse

* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a programmer* This comprehensive guide is a balanced combination of mathematical theory and the practice of programming* Straightforwa ... more

64.66 €

RRP: 64.67 €

You save 0.01 €


In stock at our supplier
Shipping in 14 - 21 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Program Construction - Calculating Implementations from Specifications

You get 157 loyalty points

Book synopsis

* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a programmer* This comprehensive guide is a balanced combination of mathematical theory and the practice of programming* Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions* Includes a wide range of entertaining and challenging examples and exercises

Book details

Book category Books in English Computing & information technology Computer programming / software development

64.66 €

Trending among others



Collection points Bratislava a 13562 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: