Ebook: Konstruktion guter Algorithmen: Sichere und korrekte Software

Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung.

---

Das Buch stellt Verfahren vor, die es erm?glichen, sprach- und maschinenunabh?ngig zu programmieren. F?r diese Algorithmen kann zweifelsfrei nachgewiesen werden, da? sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die ?bertragung in g?ngige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen gro?en Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht ?ber das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verf?gung.

---

Das Buch stellt Verfahren vor, die es erm?glichen, sprach- und maschinenunabh?ngig zu programmieren. F?r diese Algorithmen kann zweifelsfrei nachgewiesen werden, da? sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die ?bertragung in g?ngige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen gro?en Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht ?ber das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verf?gung.
Content:
Front Matter....Pages 1-11
Prolog....Pages 13-49
Problemorientierte Programmkonstruktion....Pages 51-119
Maschinenabh?ngige Programmkodierung....Pages 121-200
Exakte Basis....Pages 201-219
Methodenklassen....Pages 221-270
Back Matter....Pages 271-300

---

Das Buch stellt Verfahren vor, die es erm?glichen, sprach- und maschinenunabh?ngig zu programmieren. F?r diese Algorithmen kann zweifelsfrei nachgewiesen werden, da? sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die ?bertragung in g?ngige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen gro?en Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht ?ber das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verf?gung.
Content:
Front Matter....Pages 1-11
Prolog....Pages 13-49
Problemorientierte Programmkonstruktion....Pages 51-119
Maschinenabh?ngige Programmkodierung....Pages 121-200
Exakte Basis....Pages 201-219
Methodenklassen....Pages 221-270
Back Matter....Pages 271-300
....