Logische und Methodische Grundlagen der Programm- und Systementwicklung von Broy,  Manfred, Malkis,  Alexander

Logische und Methodische Grundlagen der Programm- und Systementwicklung

Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und ProgrammentwicklungIn diesem Buch stellen Manfred Broy und Alexander Malkis die wesentlichen Grundlagen und Methoden der Programmentwicklung vor. Die Autoren vermitteln Studierenden der Informatik und Praktikern aus dem Bereich Software-Engineering, wie sie grundlegende Aufgaben der Programmentwicklung auf wissenschaftlicher Basis verstehen und bewältigen. Sie fassen alle behandelten wissenschaftlichen Ansätze und Methoden übersichtlich zusammen und führen diese anhand von praktischen Beispielen näher aus.Die Kernthemen des Werks im ÜberblickDas Buch „Logische und Methodische Grundlagen der Programm- und Systementwicklung“ widmet sich folgenden Themen:? Algebraische Spezifikationen von Daten- und Rechenstrukturen ? Spezifikation und Implementierung ? Nachweis der Korrektheit für funktionale, sequenzielle und objektorientierte Programmierung? Korrektheits- und Terminierungsbeweise? Design-by-Contract ? Schrittweise Verfeinerung

€26.99 brutto
> findR *
Produktinformationen

Logische und Methodische Grundlagen der Programm- und Systementwicklung online kaufen

Die Publikation Logische und Methodische Grundlagen der Programm- und Systementwicklung - Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis von , ist bei Springer Fachmedien Wiesbaden GmbH erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Buch Programmentwicklung, Buch Systementwicklung, Datenstrukturen, Engineering, Funktionale Programmierung, Manfred Broy, Methoden, objektorientierte Programmierung, sequenzielle Programmierung. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 26.99 EUR und in Österreich 26.99 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!