Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Algorithmique : construction, preuve et évaluation...
Stock Image
Algorithmique : construction, preuve et évaluation des programmes
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1983. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Signs of wear on the cover. Stains on the edge. Different cover. Edition 1983. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-495-690
Stock Image
Algorithmique : construction, preuve et évaluation des programmes
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M02040157719-G