- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung
Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmierung - Unter Mitarbeit Von Alexander Malkis
Manfred Broy
Livre broché | Allemand
34,45 €
+ 68 points
Description
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
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
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 451
- Langue:
- Allemand
Caractéristiques
- EAN:
- 9783658263010
- Date de parution :
- 27-06-19
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 170 mm x 244 mm
- Poids :
- 739 g
