The Science of Programming - Gries, David
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre63,30 €
Occasion · Bon État
Ou 15,83 € /mois
- Livraison GRATUITE
- Livré entre le 30 mai et le 2 juin
Livré gratuitement chez vous en 2 semaines. L'article présente des traces d'utilisation, mais est en bon état. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis (https://fr.shopping.rakuten.com/feedback/momox) de...
Nos autres offres
-
69,98 €
Occasion · Bon État
Ou 17,50 € /mois
- Livraison : 25,00 €
- Livré entre le 16 et le 22 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.
Voir le détail de l'annonce
- 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 Science Of Programming Format Broché - Livre Informatique
0 avis sur The Science Of Programming Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Le Portrait De La Renaissance El Retrato Del Renacimiento
Occasion dès 59,90 €
-
Metaphysica
Neuf dès 59,16 €
-
Donatello: The Renaissance
Neuf dès 53,49 €
-
Classical Painting Atelier
1 avis
Neuf dès 39,76 €
-
The Beatles Complete Chord Songbook
1 avis
Neuf dès 39,67 €
-
Rome
1 avis
Neuf dès 55,00 €
-
Pre-Raphaelite Drawing
Neuf dès 35,08 €
-
Complex Analysis
1 avis
Neuf dès 87,09 €
-
Sacred Sexuality In Ancient Egypt
Neuf dès 33,23 €
-
Antes Que Anochezca
Occasion dès 57,99 €
-
Mathieu Lehanneur
Occasion dès 33,60 €
-
Front Covers
Occasion dès 41,25 €
-
Light And Color In The Outdoors
Neuf dès 69,63 €
-
The Great Good Place
Neuf dès 50,89 €
-
Secrets Of Marma: The Lost Secrets Of Ayurveda
Occasion dès 41,44 €
-
Arte Povera
Neuf dès 49,00 €
Occasion dès 33,48 €
-
El Monte
Neuf dès 45,62 €
-
Die Luther-Bibel Von 1534
Neuf dès 75,62 €
Occasion dès 50,00 €
-
Skulptur Des 18. Jahrhunderts In Deutschland
Neuf dès 74,76 €
-
Los Negros Brujos
Neuf dès 39,83 €
Produits similaires
Présentation The Science Of Programming Format Broché
- Livre Informatique
Résumé :
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
Sommaire:
0. Why Use Logic? Why Prove Programs Correct?.- I. Propositions and Predicates.- 1. Propositions.- 2. Reasoning using Equivalence Transformations.- 3. A Natural Deduction System.- 4. Predicates.- 5. Notations and Conventions for Arrays.- 6. Using Assertions to Document Programs.- II. The Semantics of a Small Language.- 7. The Predicate Transformer wp.- 8. The Commands skip, abort and Composition.- 9. The Assignment Command.- 10. The Alternative Command.- 11. The Iterative Command.- 12. Procedure Call.- III. The Development of Programs.- 13. Introduction.- 14. Programming as a Goal-Oriented Activity.- 15. Developing Loops from Invariants and Bounds.- 16. Developing Invariants.- 17. Notes on Bound Functions.- 18. Using Iteration Instead of Recursion.- 19. Efficiency Considerations.- 20. Two Larger Examples of Program Development.- 21. Inverting Programs.- 22. Notes on Documentation.- 23. Historical Notes.- Appendix 1. Backus-Naur Form.- Appendix 2. Sets, Sequences, Integers and Real Numbers.- Appendix 3. Relations and Functions.- Appendix 4. Asymptotic Execution Time Properties.- Answers to Exercises.- References.
Détails de conformité du produit
Personne responsable dans l'UE