Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Introducing Software Verification with Dafny Language: Proving Program Correctness
Sie erhalten eine Einführung in die Softwareverifikation und den Korrektheitsnachweis mit der von Microsoft Research unterstützten Programmiersprache Dafny. Während einige andere Bücher zu diesem Thema recht mathematisch rigoros sind, verwendet dieses Buch so wenig mathematische Symbole und Strenge wie möglich und erklärt jedes Konzept in einfachem Englisch. Es ist der perfekte Einstieg für Softwareprogrammierer und -entwickler mit Kenntnissen in C# und anderen Programmiersprachen.
Das Schreiben korrekter Software kann schwierig sein, daher lernen Sie das Konzept der Berechnung und der Softwareüberprüfung kennen. Anschließend wenden Sie diese Konzepte und Techniken an, um sicher fehlerfreien und leicht verständlichen Code zu schreiben. Der Quellcode ist während des gesamten Buches verfügbar und über GitHub frei verfügbar.
Nach dem Lesen und Anwenden dieses Buches werden Sie in der Lage sein, korrekten, großen freien Software-Quellcode zu schreiben, der unabhängig von der Plattform und der Programmiersprache, die Sie verwenden, anwendbar ist.
(Was Sie lernen werden)
⬤ Entdecken Sie die von Microsoft Research unterstützte Programmiersprache Dafny.
⬤ Hoare-Logik, imperative und funktionale Programme erforschen.
⬤ Arbeiten Sie mit Vor- und Nachbedingungen.
⬤ Verwenden Sie Datentypen, Mustervergleiche und Klassen.
⬤ Tauchen Sie in Verifikationsbeispiele ein, die Sie für Ihre eigenen Projekte wiederverwenden können.
Für wen ist dieses Buch gedacht?
Softwareentwickler und Programmierer, die zumindest über grundlegende Programmiererfahrung verfügen. Keine spezielle Sprache erforderlich. Es ist auch für diejenigen mit sehr grundlegenden mathematischen Erfahrungen (Funktionen, Variablen) geeignet.
| ISBN: | 9781484279779 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2022 |
| Seitenzahl: | 131 |
Derzeit verfügbar, auf Lager.
