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 to cart. $139.55, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1995 by Longman Group.
