
by S.Thompson (Author)
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.
Format: Paperback
Pages: 472
Edition: 1
Publisher: Addison Wesley
Published: 31 May 1995
ISBN 10: 0201422794
ISBN 13: 9780201422795