De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung

- Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmierung - Unter Mitarbeit Von Alexander Malkis

Bag om Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung

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

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783658263010
  • Indbinding:
  • Paperback
  • Sideantal:
  • 451
  • Udgivet:
  • 27. juni 2019
  • Udgave:
  • 12019
  • Størrelse:
  • 244x170x24 mm.
  • Vægt:
  • 739 g.
  • 8-11 hverdage.
  • 21. november 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung

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

Brugerbedømmelser af Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung



Find lignende bøger
Bogen Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung findes i følgende kategorier: