Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German) - Manfred Broy
Physical Book
£ 42.57
Free UK Delivery
Choose the list to add your product or create one New List
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between Wednesday, August 14 and Wednesday, August 21.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)
Manfred Broy
Synopsis "Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (in German)"
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