K. Rustan M. Leino: Program Proofs | preigu

Cover: 9780262546232 | Program Proofs | K. Rustan M. Leino (u. a.) | Taschenbuch | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

83,65 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

"The book shows 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"--

"The book shows 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"--

Über den Autor

K. Rustan M. Leino; illustrated by Kaleb Leino

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 467

Details

Erscheinungsjahr:	2023
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9780262546232
ISBN-10:	026254623X
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Leino, K. Rustan M. Leino, Kaleb
Illustrator:	Kaleb Leino
Hersteller:	MIT Press Ltd
Maße:	225 x 176 x 25 mm
Von/Mit:	K. Rustan M. Leino (u. a.)
Erscheinungsdatum:	07.03.2023
Gewicht:	0,766 kg

Artikel-ID: 125805880

Über den Autor

K. Rustan M. Leino; illustrated by Kaleb Leino

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 467

Details

Erscheinungsjahr:	2023
Fachbereich:	Programmiersprachen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9780262546232
ISBN-10:	026254623X
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Leino, K. Rustan M. Leino, Kaleb
Illustrator:	Kaleb Leino
Hersteller:	MIT Press Ltd
Maße:	225 x 176 x 25 mm
Von/Mit:	K. Rustan M. Leino (u. a.)
Erscheinungsdatum:	07.03.2023
Gewicht:	0,766 kg

Artikel-ID: 125805880

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783527711963 | Access 2016 für Dummies | Laurie Fuller (u. a.) | Taschenbuch | 435 S.

Access 2016 für Dummies

EAN: 9783527711963

Sprache: Deutsch

Von/Mit: Laurie Fuller (u. a.)

24,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780465093656 | Alone Together | Sherry Turkle | Taschenbuch | Kartoniert / Broschiert

Why We Expect More from Technology and Less from Each Other

EAN: 9780465093656

Sprache: Englisch

Von/Mit: Sherry Turkle

22,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783658213305 | Datenorganisation und Datenbanken | Frank Herrmann | Taschenbuch | ix

Datenorganisation und Datenbanken

Praxisorientierte Übungen mit MS Access 2016

EAN: 9783658213305

Sprache: Deutsch

Von/Mit: Frank Herrmann

34,99 €*

Lieferzeit 4-7 Werktage

Buch

Cover: 9783030032531 | Philosophical and Mathematical Logic | Harrie de Swart | Buch

Philosophical and Mathematical Logic

EAN: 9783030032531

Sprache: Englisch

Von/Mit: Harrie De Swart

53,49 €*

Aktuell nicht verfügbar

Buch

Cover: 9783836265980 | Exploit! | Klaus Gebeshuber (u. a.) | Buch | Rheinwerk Computing

Code härten, Bugs analysieren, Hacking verstehen. Das Handbuch für sichere Softwareentwicklung

EAN: 9783836265980

Sprache: Deutsch

Von/Mit: Klaus Gebeshuber (u. a.)

44,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781484260074 | Pro Microsoft Power Platform | Mitchell Pearson (u. a.) | Taschenbuch

Pro Microsoft Power Platform

Solution Building for the Citizen Developer

EAN: 9781484260074

Sprache: Englisch

Von/Mit: Mitchell Pearson (u. a.)

67,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783518471333 | Radikalisierungsmaschinen | Julia Ebner | Taschenbuch | 357 S. | 2021

Radikalisierungsmaschinen

Wie Extremisten die neuen Technologien nutzen und uns manipulieren

EAN: 9783518471333

Sprache: Deutsch

Von/Mit: Julia Ebner

12,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781617298363 | Entity Framework Core in Action, 2E | Jon Smith | Taschenbuch | 2021

Entity Framework Core in Action, Second Edition

EAN: 9781617298363

Sprache: Englisch

Von/Mit: Jon P Smith

62,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780137381920 | Driving Value with Sprint Goals | Humble Plans, Exceptional Results

Driving Value with Sprint Goals

Humble Plans, Exceptional Results

EAN: 9780137381920

Sprache: Englisch

Von/Mit: Maarten Dalmijn

40,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781718501508 | How to Hack Like a Legend | Breaking Windows | Sparc Flow | Buch

How to Hack Like a Legend

Breaking Windows

EAN: 9781718501508

Sprache: Englisch

Von/Mit: Sparc Flow

26,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781718502147 | The Art of Cyberwarfare | Jon Dimaggio | Taschenbuch | Englisch | 2022

The Art of Cyberwarfare

An Investigator's Guide to Espionage, Ransomware, and Organized Cybercrime

EAN: 9781718502147

Sprache: Englisch

Von/Mit: Jon Dimaggio

32,55 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783759705020 | Access perfektionieren | 250 Tipps für die optimale Datenbank | Buch

Access perfektionieren

250 Tipps für die optimale Datenbank

EAN: 9783759705020

Sprache: Deutsch

Von/Mit: Lorenz Hölscher

30,00 €*

Lieferzeit 2-4 Werktage