The Science of Programming (Monographs in Computer Science)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"The Science of Programming" von David Gries ist ein umfassendes Werk, das sich mit den theoretischen Grundlagen und praktischen Methoden der Programmierung befasst. Das Buch zielt darauf ab, den Leser in die Prinzipien des korrekten Programmierens einzuführen, wobei ein besonderer Schwerpunkt auf der formalen Verifikation von Programmen liegt. Gries behandelt systematisch Themen wie algorithmische Logik, Spezifikationen, Schleifeninvarianten und rekursive Programme. Durch zahlreiche Beispiele und Übungen fördert das Buch ein tiefes Verständnis dafür, wie man Programme entwickelt, die nicht nur funktionieren, sondern auch mathematisch korrekt sind. Es richtet sich an Studierende der Informatik sowie an Fachleute, die ihre Kenntnisse in der formalen Methodik des Programmierens vertiefen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
