Algorithms: The Construction, Proof, and Analysis of Programs (No. 1)

Name: Algorithms: The Construction, Proof, and Analysis of Programs (No. 1)
Author: Pierre Berlioux, Philippe Bizard
ISBN: 9780471908449

Author Pierre Berlioux, Philippe Bizard

Publisher Wiley

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

⌛ 🇩🇪 Germany pricing being fetched… Prices will appear once fetched — usually within a few minutes.

View in: 🇺🇸 USA

Book Details

Author(s)Pierre Berlioux, Philippe Bizard

PublisherWiley

ISBN / ASIN0471908444

ISBN-139780471908449

MarketplaceGermany 🇩🇪

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.