The Science of Programming (Monographs in Computer Science)
Kurzinformation
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
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.
Über den Autor
- paperback
- 444 Seiten
- Erschienen 1997
- Mcgraw-Hill Professional
- Hardcover
- 264 Seiten
- World Scientific Publishing...
- hardcover
- 514 Seiten
- Erschienen 1982
- Birkhäuser Verlag
- hardcover
- 600 Seiten
- Erschienen 1989
- MIT Press
- Gebunden
- 300 Seiten
- Erschienen 2008
- Springer
- Hardcover
- 960 Seiten
- Erschienen 2003
- Pearson
- Taschenbuch
- 216 Seiten
- Erschienen 1986
- Wspc