[email protected]
We’ll reply within 24 hours
Contact
How to shop
Help
Delivery
Austrian Post 5.99 €
DPD courier 6.49 €
GLS courier 4.49 €
Shopping guide
We’re here for you!
[email protected]
My account
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
▸
Empty :-(
0
Program Construction - Calculating Implementations from Specifications
Language
English
English
Book
Paperback
* Unique approach tackles what most books dona t--why maths and logic are fundamental tools for a pr...
Full description
Libristo code: 04886165
?
287 b
287 b
121.48
€
včetně DPH
In stock at our supplier
Shipping in 15-20 days
Delivery to Austria
Delivery to Austria
30-day return policy
You might also be interested in
* 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
About the book
Full name
Program Construction - Calculating Implementations from Specifications
Author
Roland C. Backhouse
Language
English
English
Binding
Book - Paperback
Date of issue
2003
Number of pages
354
EAN
9780470848821
ISBN
0470848820
Libristo code
04886165
Publishers
John Wiley & Sons Inc
Weight
640
Dimensions
195 x 235 x 20
