The Foundations of Program Verification (Series in Computer Science)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"The Foundations of Program Verification" von Kurt Sieber ist ein grundlegendes Werk in der Informatik, das sich mit den theoretischen und praktischen Aspekten der Verifikation von Computerprogrammen beschäftigt. Das Buch bietet eine umfassende Einführung in die formalen Methoden zur Sicherstellung der Korrektheit von Software. Es deckt zentrale Themen wie logische Grundlagen, Spezifikationssprachen, sowie Verifikationsmethoden ab. Dazu gehören Techniken wie induktive Beweise, Hoare-Logik und Modellprüfung. Sieber legt besonderen Wert auf die mathematische Strenge und die Anwendung dieser Methoden in realen Programmierumgebungen. Das Buch richtet sich an Studierende der Informatik sowie an Fachleute, die ein tieferes Verständnis für die Theorie hinter der Programmanalyse und -verifikation gewinnen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
