{"product_id":"konstruktion-guter-algorithmen-sichere-und-korrekte-software-9783519029908","title":"Konstruktion Guter Algorithmen: Sichere Und Korrekte Software","description":"\u003cp\u003e • Author(s): Ingo Dittmer\u003cbr\u003e • Publisher: Vieweg+teubner Verlag\u003cbr\u003e • Publisher Imprint: Vieweg+teubner Verlag\u003cbr\u003e • BISAC: Engineering (General)\u003c\/p\u003e\u003cp\u003eDieses 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.\u003c\/p\u003e","brand":"Vieweg+teubner Verlag","offers":[{"title":"Paperback","offer_id":47591596523671,"sku":"9783519029908","price":4420.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783519029908.webp?v=1774973759","url":"https:\/\/atlanticbooks.com\/products\/konstruktion-guter-algorithmen-sichere-und-korrekte-software-9783519029908","provider":"Atlantic Books","version":"1.0","type":"link"}