This book introduces Miranda at a level appropriate for professionals with little or no prior experience in programming. The emphasis is on the process of crafting programs, solving problems, and avoiding common errors. Using a large number of running examples and case studies, the book encourages the design of well structured, reusable software together with proofs of correctness. A tear-out card enables readers to acquire a Miranda compiler from Research Software Ltd. at a substantial discount off the published list price.
- ISBN10 0201422794
- ISBN13 9780201422795
- Publish Date 31 May 1995
- Publish Status Out of Print
- Out of Print 15 March 2021
- Publish Country GB
- Publisher Pearson Education Limited
- Imprint Addison Wesley
- Format Paperback
- Pages 472
- Language English