Logische und Methodische Grundlagen der Programm- und Systementwicklung

Name: Logische und Methodische Grundlagen der Programm- und Systementwicklung
Author: Broy, Manfred

Broy, Manfred

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Deutsch

ISBN:

3658263016

Verlag:

Seitenzahl:

468

Auflage:

Erschienen:

2019-06-27

Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bei

bestellen

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Beschreibung

Logische und Methodische Grundlagen der Programm- und Systementwicklung

Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

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 von Broy, Manfred

Produktdetails

Einband:

Kartoniert

Seitenzahl:

468

Erschienen:

2019-06-27

Sprache:

Deutsch

EAN:

9783658263010

ISBN:

3658263016

Verlag:

Gewicht:

779 g

Auflage:

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Broy, Manfred

Prof. Dr. Dr. h.c. Manfred Broy leitete an der Technischen Universität München den Lehrstuhl Software & Systems Engineering. Er gründete 2009 das Forschungsinstitut für angewandte Forschungstechnik fortiss. Seit 2016 ist er Gründungspräsident des Zentrums Digitalisierung.Bayern. Seine wissenschaftlichen Arbeiten, die diesem Buch zugrunde liegen, zielen auf die formale Fundierung der Konzepte und Methoden des Softwareengineerings als Basis für eine fundierte Entwicklung von Programmsystemen.Alexander Malkis (Dr. rer. nat., 2010, Albert-Ludwigs-Universität Freiburg) ist ein internationaler Forscher im Bereich "formale Methoden" mit Fokus auf Verifikation, Programmanalyse und Nebenläufigkeit. Sein Forschungsziel besteht darin, Methoden zur Steigerung von Sicherheit, Zuverlässigkeit und Vertrauenswürdigkeit nebenläufiger Programme, Architekturen und Systeme zu entwickeln.