Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
Einband grossProgram Proofs
ISBN/GTIN

Program Proofs

E-BookEPUBDRM AdobeE-Book
496 Seiten
Englisch
MIT Presserschienen am07.03.2023

Produkt

Details
Weitere ISBN/GTIN9780262375429
ProduktartE-Book
EinbandartE-Book
FormatEPUB
Format HinweisDRM Adobe
FormatE101
Verlag
Erscheinungsjahr2023
Erscheinungsdatum07.03.2023
Seiten496 Seiten
SpracheEnglisch
Dateigrösse3182 Kbytes
Illustrationen18 LINE DRAWINGS, 4 FIGURES
Artikel-Nr.9602764
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
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 467mehr

Autor

K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM Fellow, an IFIP Fellow, and a recipient of the CAV Award.
Weitere Artikel von
Leino, Kaleb
Illustrationen