• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Konstruktion Guter Algorithmen: Sichere Und Korrekte Software

Konstruktion Guter Algorithmen: Sichere Und Korrekte Software

Paperback

Series: Informatik & Praxis

Technology & Engineering

ISBN10: 3519029901
ISBN13: 9783519029908
Publisher: Vieweg+teubner Verlag
Published: Jan 1 1996
Pages: 300
Weight: 1.07
Height: 0.64 Width: 6.69 Depth: 9.61
Language: German
Dieses Buch ist ein Lehrbuch für schnelle, effiziente und korrekte Pro- p;rammierung. Es werden Verfahren vorgestellt, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren, und eine Me- thode, mit der zweifelsfrei bewiesen werden kann, da die so entwickel- ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up- Verifikation dargestellt. Es wird auf die Übertragung in gängige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati- sche Testmethoden werden ebenfalls kurz beschrieben. Einen gro en Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program- mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Gro er Wert wird darauf gelegt, da das Buch gut lesbar und verständ- lich ist und alle Verfahren und Algorithmen ausführlich erläutert wer- den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrück hält. Es ist aber nicht nur für Studenten geeignet, sondern auch für den Prak- tiker. In den Abschnitten über Motivation und Sensibilisierung wird nachvollziehbar begründet, warum nicht nur Profis die beschriebene Me- thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro- grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen.

Also in

Technology & Engineering