Overview: 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 deshttp://medoc.in
|