K. Rustan M. Leino: Program Proofs | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

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

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

78,55 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

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
Seiten:	496
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

preigu-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
Seiten:	496
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

preigu-id: 125805880

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9781449388393 | Hackers. 25th Anniversary Edition | Heroes of the Computer Revolution

Hackers. 25th Anniversary Edition

Heroes of the Computer Revolution

EAN: 9781449388393

Sprache: Englisch

Von/Mit: Steven Levy

23,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781118787311 | Practical Reverse Engineering | Bruce Dang (u. a.) | Taschenbuch

Practical Reverse Engineering

x86, x64, ARM, Windows Kernel, Reversing Tools, and Obfuscation

EAN: 9781118787311

Von/Mit: Alexandre Gazet (u. a.)

52,50 €*

Aktuell nicht verfügbar

Taschenbuch

Cover: 9780199918119 | Cybersecurity and Cyberwar | What Everyone Needs to Knowâ(r) | Buch

Cybersecurity and Cyberwar

What Everyone Needs to Know(r)

EAN: 9780199918119

Sprache: Englisch

Von/Mit: P W Singer (u. a.)

17,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781907974304 | Do Open | How A Simple Email Newsletter Can Transform Your Business

How A Simple Email Newsletter Can Transform Your Business

EAN: 9781907974304

Sprache: Englisch

Von/Mit: David Hieatt

15,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783960091165 | Keine Angst vor Microsoft Access! | Andreas Stern | Taschenbuch | 2019

Keine Angst vor Microsoft Access!

Datenbanken verstehen, entwerfen und entwickeln - Für Access 2007 bis 2019

EAN: 9783960091165

Sprache: Deutsch

Von/Mit: Andreas Stern

22,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783749467310 | Bug Bounty Hunting mit Kali-Linux oder Parrot Security OS | Buch

Bug Bounty Hunting mit Kali-Linux oder Parrot Security OS

Hacking als Hautberuf oder Nebenjob

EAN: 9783749467310

Sprache: Deutsch

Von/Mit: Alicia Noors (u. a.)

17,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783150199749 | Hacktivists. A Play | Ben Ockrent | Taschenbuch | Deutsch | 2020

Hacktivists. A Play

Fremdsprachentexte Reclam XL - Text und Kontext. Niveau B2 (GER)

EAN: 9783150199749

Sprache: Deutsch, Englisch

Von/Mit: Ben Ockrent

Maße: 170 x 116 x 10 mm

5,20 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783415068919 | Internetkriminalität | Manfred Wernert | Taschenbuch | Deutsch | 2021

Internetkriminalität

Grundlagenwissen, erste Maßnahmen und polizeiliche Ermittlungen

EAN: 9783415068919

Sprache: Deutsch

Von/Mit: Manfred Wernert

24,80 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781119835103 | Microsoft Excel 365 Bible | Michael Alexander (u. a.) | Taschenbuch

Microsoft Excel 365 Bible

EAN: 9781119835103

Sprache: Englisch

Von/Mit: Michael Alexander (u. a.)

44,60 €*

Lieferzeit 2-3 Wochen

Taschenbuch

Cover: 9781492098058 | Applied Machine Learning and AI for Engineers: Solve Business...

Applied Machine Learning and AI for Engineers

Solve Business Problems That Can't Be Solved Algorithmically

EAN: 9781492098058

Sprache: Englisch

Von/Mit: Jeff Prosise

69,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781484287279 | Troubleshooting and Supporting Windows 11 | Mike Halsey | Taschenbuch

Troubleshooting and Supporting Windows 11

Creating Robust, Reliable, Sustainable, and Secure Systems

EAN: 9781484287279

Sprache: Englisch

Von/Mit: Mike Halsey

39,65 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Neu

Cover: 9783658434649 | Cyber Crisis Management | Holger Kaschner | Taschenbuch | Paperback

Cyber Crisis Management

Das Praxishandbuch zu Krisenmanagement und Krisenkommunikation

EAN: 9783658434649

Sprache: Deutsch

Von/Mit: Holger Kaschner

44,99 €*

Lieferzeit 4-7 Werktage