Name: Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (en Alemán)
Price: 55840.00 CLP
Availability: InStock
Author: Manfred Broy
ISBN: 9783658263010

portada Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (en Alemán)

Formato

Libro Físico

Editorial

Springer Vieweg

Autor

Manfred Broy

Idioma

Alemán

N° páginas

468

Encuadernación

Tapa Blanda

ISBN13

9783658263010

N° edición

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (en Alemán)

Manfred Broy (Autor) · Springer Vieweg · Tapa Blanda

Libro Nuevo

$ 55.840

$ 101.520

Ahorras: $ 45.680

45% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 18 de Julio y el Viernes 26 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle und Objektorientierte. Von Alexander Malkis (en Alemán)"

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