Demonstrates the close links between construction, proof, and analysis of programs. Introduces the basic elements that allow proof and analysis of iterative programs to be carried out and introduces the concept of recursive programming. Also shows how a recursive program can be converted into an iterative program. Offers numerous, clearly presented examples.
| ISBN-13: | 9780471908449 |
| ISBN-10: | 0471908444 |
| Publisher: | Wiley |
| Publication date: | 1986-04 |
| Edition description: | 1 |
| Pages: | 156 |
| Product dimensions: | Height: 9.01573 Inches, Length: 5.98424 Inches, Weight: 0.64374980504 Pounds, Width: 0.47244 Inches |
| Author: | Pierre Berlioux, Philippe Bizard |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
Be the first to review this book!
