Algorithms: The Construction, Proof, and Analysis of Programs (No. 1)
100.00
USD
Book Details
Author(s)
Pierre Berlioux, Philippe Bizard
Publisher
Wiley
ISBN / ASIN
0471908444
ISBN-13
9780471908449
Sales Rank
#8,604,863
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
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.
