The Science of Programming - Gries, David
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre24,18 €
Occasion · Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 25 et le 27 juillet
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 11 et le 17 août
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 -
142,66 €
Produit Neuf
Ou 35,67 € /mois
- Livraison : 3,99 €
- Livré entre le 28 juillet et le 3 août
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.
-
The Complete Beatles Recording Sessions
Occasion dès 35,00 €
-
La Bible Officielle Du Toeic - Le Meilleur Tout-En-Un Pour Réussir !
3 avis
Neuf dès 44,90 €
Occasion dès 34,49 €
-
La Bible Officielle Du Test Toeic - Le Meilleur Tout-En-Un Pour Réussir ! (4 Cd Audio)
15 avis
Occasion dès 32,48 €
-
Zao Wou-Ki
Occasion dès 27,50 €
-
The Big Picture - Vocabulaire De L'actualité En Anglais
1 avis
Neuf dès 24,00 €
Occasion dès 15,49 €
-
Rise Up Women!
Neuf dès 36,76 €
-
The Playmate Book
2 avis
Occasion dès 14,00 €
-
Pink Floyd The Wall Guitar - Tablature Edition
Occasion dès 34,00 €
-
Speaking - From Intention To Articulation
Occasion dès 31,12 €
-
Ogam
Neuf dès 34,09 €
-
Stepping Stones: 26 Pieces For Cello Players
Neuf dès 17,79 €
-
The Vocabulary Guide Anglais - Les Mots Anglais Et Leur Emploi
Neuf dès 20,90 €
Occasion dès 16,49 €
-
Mucuna Vademecum: Guide D'utilisation Dans La Maladie De Parkinson
Neuf dès 34,98 €
-
Le Jour Où Je Me Suis Rencontrée: Contrôle Alt Zèbre (French Edition)
Occasion dès 36,77 €
-
Lacan And Contemporary Film
Neuf dès 31,80 €
-
Perfectionnement Allemand
4 avis
Occasion dès 12,89 €
-
Les Services Britanniques Au 21e Siècle : Une Étude Interdisciplinaire
1 avis
Neuf dès 20,00 €
Occasion dès 19,99 €
-
Bowie Odyssey 70
1 avis
Neuf dès 24,26 €
-
Traditional Scandinavian Knitting
Neuf dès 36,18 €
-
The Art Of How To Train Your Dragon
5 avis
Neuf dès 46,30 €
Occasion dès 25,32 €
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