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.

Keywords

Authors and Affiliations

Fachhochschule Osnabrück, Deutschland

Ingo Dittmer

Bibliographic Information

Book Title: Konstruktion guter Algorithmen
Book Subtitle: Sichere und korrekte Software
Authors: Ingo Dittmer
Series Title: Informatik & Praxis
DOI: https://doi.org/10.1007/978-3-663-10517-6
Publisher: Vieweg+Teubner Verlag Wiesbaden
eBook Packages: Springer Book Archive
Copyright Information: Springer Fachmedien Wiesbaden 1996
Softcover ISBN: 978-3-519-02990-8Published: 01 January 1996
eBook ISBN: 978-3-663-10517-6Published: 02 July 2013
Series ISSN: 1615-8245
Series E-ISSN: 2522-0594
Edition Number: 1
Number of Pages: 300
Topics: Engineering, general

Publish with us

Policies and ethics

Authors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (5 chapters)

Front Matter

Prolog

Problemorientierte Programmkonstruktion

Maschinenabhängige Programmkodierung

Exakte Basis

Methodenklassen

Back Matter

About this book