Using a large number of running examples and case studies, this book encourages the design of well structured, reusable software together with proofs of correctness. The emphasis is on the process of crafting programs, solving problems and avoiding common errors. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount.
Read More
Using a large number of running examples and case studies, this book encourages the design of well structured, reusable software together with proofs of correctness. The emphasis is on the process of crafting programs, solving problems and avoiding common errors. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount.
Read Less
Add this copy of Miranda: the Craft of Functional Programming to cart. $164.34, new condition, Sold by GridFreed rated 4.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1995 by Addison-Wesley.