The Design of Well-Structured and Correct Programs - Alagic, Suad
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 2 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461262749_dbm
Nos autres offres
-
86,79 €
Produit Neuf
Ou 21,70 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 juin
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur The Design Of Well - Structured And Correct Programs Format Broché - Livre Informatique
0 avis sur The Design Of Well - Structured And Correct Programs Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Bruegel. The Complete Works
Neuf dès 95,23 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 72,73 €
-
Joel Meyerowitz: Europa 1966-1967
Neuf dès 50,00 €
-
Western Technology And Soviet Economic Development 1945-1968
Neuf dès 60,23 €
-
Toute Photographie Fait Énigme
Occasion dès 45,80 €
-
Quantum Computing: An Applied Approach
Occasion dès 39,00 €
-
Ernst Haas - New York In Color, 1952-1962
1 avis
Neuf dès 49,54 €
-
Implementing Domain-Driven Design
Neuf dès 63,38 €
Occasion dès 46,72 €
-
Handbook Of Multilingualism And Multiculturalism
Neuf dès 60,00 €
Occasion dès 50,00 €
-
Mies Van Der Rohe
Occasion dès 96,00 €
-
Instability, Skew-T & Hodograph Handbook
Neuf dès 86,43 €
-
Gerhard Richter: Im Albertinum Dresden
Occasion dès 36,32 €
-
Understanding Greek Religion
Neuf dès 71,08 €
-
Marianne North At Kew Gardens
Occasion dès 68,62 €
-
The Oxford Handbook Of Latin American History
Neuf dès 80,98 €
-
Louis Carlos Bernal: Monografía
Neuf dès 50,27 €
-
World History Timeline
2 avis
Neuf dès 41,63 €
-
Victorians Abroad De John S. Goodall
Occasion dès 39,00 €
-
The Eye
Neuf dès 54,00 €
-
Allemand - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
1 avis
Neuf dès 75,00 €
Occasion dès 50,49 €
Produits similaires
Présentation The Design Of Well - Structured And Correct Programs Format Broché
- Livre Informatique
Sommaire:
1 Introducing Top-down Design.- 1.1 The Idea of Top-down Design.- 1.2 An Example: The Greatest Common divisor.- 1.3 Programming Language and Machine Language.- 2 Basic Compositions of Actions and Their Proof Rules.- 2.1 Relations for Program Correctness.- 2.2 Logical Formulas and Pascal Expressions.- 2.3 Proof Rules for Simple Statements.- 2.4 Compound and Conditional Statements.- 2.5 Repetitive Statements.- 2.6 Summary of Basic Proof Rules.- 2.7 Using the Basic Proof Rules.- 2.8 Correct Termination of Algorithms.- Exercises.- 3 Data Types.- 3.1 Introduction.- 3.2 A Primer on Set Theory.- 3.3 Scalar Types and Simple Types.- 3.4 Arrays, Records, and Files.- 3.5 Processing Arrays.- 3.6 Processing Files and Records.- 3.7 Set Manipulation in Pascal.- Exercises.- 4 Developing Programs with Proofs of Correctness.- 4.1 Introduction.- 4.2 Squares and Palindromes.- 4.3 Sorting Arrays and Files.- 4.4 Manipulating Sets.- Exercises.- 5 Procedures and Functions.- 5.1 Procedures and Functions.- 5.3 Functions and Their Proof of Correctness.- 5.4 Proofs of Correctness of Procedures.- Exercises.- 6 Recursion.- 6.1 Introduction.- 6.2 Design and Correctness of Recursive Procedures.- 6.3 Recursive Data Types.- 6.4 Recursive Algorithms and Recursive Data Structures.- Exercises.- 7 Programming with and without Gotos.- 7.1 Goto Statements.- 7.2 Proof Rules for Gotos.- 7.3 Return Exits and the Algorithm Find.- 7.4 Failure Exits and the Algorithm Lookup.- 7.5 Loops with Exits in the Middle.- Exercises.- References.- Appendixes.- Index of Algorithms.- Author Index.
Détails de conformité du produit
Personne responsable dans l'UE