Logische und Methodische Grundlagen der Programm- und Systementwicklung : Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis
1. Aufl. 2019 ed.
by
Manfred Broy
Book Details
Format
Paperback / Softback
ISBN-10
3658263016
ISBN-13
9783658263010
Edition
1. Aufl. 2019 ed.
Publisher
Springer Fachmedien Wiesbaden
Imprint
Springer Vieweg
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Jun 27th, 2019
Print length
451 Pages
Weight
768 grams
Dimensions
16.80 x 23.80 x 3.20 cms
Ksh 5,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Dieses Buch vermittelt Studierenden und Praktikern die Grundlagen der System- und Programmentwicklung
In 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 Überblick
Die Kernthemen des Werks im Überblick
Das 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
Get Logische und Methodische Grundlagen der Programm- und Systementwicklung by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Fachmedien Wiesbaden and it has pages.
