Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis
Author:   Manfred Broy ,  Alexander Malkis
Publisher:   Springer Fachmedien Wiesbaden
Edition:   1. Aufl. 2019
ISBN:  

9783658263010


Pages:   451
Publication Date:   27 June 2019
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $100.29 Quantity:  
Add to Cart

Share |

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis


Add your own review!

Overview

Full Product Details

Author:   Manfred Broy ,  Alexander Malkis
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Springer Vieweg
Edition:   1. Aufl. 2019
Dimensions:   Width: 16.80cm , Height: 2.40cm , Length: 24.00cm
Weight:   0.788kg
ISBN:  

9783658263010


ISBN 10:   3658263016
Pages:   451
Publication Date:   27 June 2019
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   German

Table of Contents

Einführung in die Grundlagen der Softwareentwicklung.- Rechen- und Datenstrukturen.- Algebraische Datenmodellierung.- Funktionale Programmierung.- Anweisungsorientierte, sequenzielle Programme.- Referenzen, Zeiger und organisierter Speicher.- Verfeinerung.- Grundlagen der Objektorientierung.- Ausblick: parallel ablaufende, verteilte, kooperierende Systeme

Reviews

Author Information

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. 

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now