An Introduction to Programming with Specifications

An Introduction to Programming with Specifications

4 (1 rating by Goodreads)
By (author)  , By (author)  , By (author)  , By (author) 

List price: US$39.96

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification - a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication, and may be used as an introduction to the mathematics of programming.
show more

Product details

  • Hardback | 264 pages
  • 166.9 x 231.9 x 28.2mm | 716.67g
  • Academic Press Inc
  • San Diego, United States
  • English
  • index
  • 0124276202
  • 9780124276208

Table of contents

Basic mathematical vocabulary; on definitions and specifications; conditional expressions; local definitions; recursive function definitions; designing recursive definitions; more complex recursion; high-order data - sequences; our main tool - induction; proving facts about recursively defined functions; tail recursion; iterative algorithms; from recursion to iteration and back; partial and total correctness; how to design iterative algorithms; computer programming; solutions of exercises.
show more

Rating details

1 ratings
4 out of 5 stars
5 0% (0)
4 100% (1)
3 0% (0)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X