Algorithms: The Construction, Proof, and Analysis of Programs: No. 1 - Brossura

Berlioux, Pierre

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

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.