Program Proofs - K. Rustan M. Leino
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreExpédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Nos autres offres
-
89,15 €
Produit Neuf
Ou 22,29 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9780262546232_dbm
-
85,62 €
Produit Neuf
Ou 21,41 € /mois
- Livraison : 3,99 €
- Livré entre le 7 et le 14 avril
-
89,75 €
Produit Neuf
Ou 22,44 € /mois
- Livraison à 0,01 €
Nouvel article expédié dans le 24H à partir des Etats Unis Livraison au bout de 14 à 21 jours ouvrables.
-
113,22 €
Produit Neuf
Ou 28,31 € /mois
- Livraison : 5,00 €
- Livré entre le 4 et le 8 avril
Exp¿di¿ en 7 jours ouvr¿s
- 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 Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique
0 avis sur Program Proofs de K. Rustan M. Leino Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Remarques Sur Les Couleurs Suivi De Le Vu, Le Peint Et Le Parlé
Occasion dès 49,97 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 44,00 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 80,22 €
-
L'amica Geniale. Edizione Completa
Occasion dès 70,19 €
-
Machine Learning And Data Sciences For Financial Markets
Neuf dès 150,03 €
Occasion dès 78,87 €
-
De Lemdr À La Thérapie Mosaic Guérir Sans Douleur Les Traumatismes Psychologiques
Occasion dès 62,50 €
-
Michael Kenna - Arbres / Trees
2 avis
Occasion dès 95,00 €
-
Le Cul De La Femme - Une Collection De Portraits De Pierre Louÿs (1892-1914)
5 avis
Occasion dès 69,00 €
-
J W Waterhouse
Occasion dès 125,15 €
-
The Golden Cage The Enigma Of Anorexia Nervosa
Occasion dès 48,77 €
-
The Ballad Of Sexual Dependency
Occasion dès 84,91 €
-
La Gradation Du Vêtement Féminin
3 avis
Occasion dès 79,99 €
-
Albert Oehlen
Occasion dès 70,00 €
-
Edmond Lachenal And His Legacy
Occasion dès 84,68 €
-
Ed Fox 02
9 avis
Occasion dès 58,89 €
-
Mantegna Tarot: Tarot Cards With Silver Decoration, Instructions
Occasion dès 100,00 €
-
A Pattern Language
1 avis
Neuf dès 103,39 €
-
Babembe Sculpture
1 avis
Occasion dès 119,00 €
-
The Baltic Sea And Approaches
Occasion dès 96,27 €
-
Art Of Modern Rock
1 avis
Occasion dès 50,00 €
Produits similaires
Présentation Program Proofs de K. Rustan M. Leino Format Broché
- Livre Informatique
Résumé :
Preface ix
Notes for Teachers xv
0. Introduction 1
Part 0. Learning the Ropes
1. Basics 9
2. Making It Formal 25
3. Recursion and Termination 63
4. Inductive Datatypes 83
5. Lemmas and Proofs 95
Part 1. Functional Programs
6. Lists 137
7. Unary Numbers 161
8. Sorting 175
9. Abstraction 189
10. Data-Structure Invariants 207
Part 2. Imperative Programs
11. Loops 235
12. Recursive Specifications, Iterative Programs 257
13. Arrays and Searching 275
14. Modifying Arrays 321
15. In-situ Sorting 337
16. Objects 351
17. Dynamic Heap Data Structures 387
A. Dafny Syntax Cheat Sheet 427
B. Boolean Algebra 433
C. Answers to Select Exercises 445
References 459
Index 467...
Biographie:
K. Rustan M. Leino...
Sommaire:
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Writing with clarity and humor, K. Rustan M. Leino first provides an overview of the basic theory behind reasoning about programs. He then gradually builds up to complex concepts and applications, until students are facing real programs using objects, data structures, and non-trivial recursion. To emphasize the practical nature of program proofs, all material and examples use the verification-aware programming language Dafny, but no previous knowledge of Dafny is assumed.
Détails de conformité du produit
Personne responsable dans l'UE