Informatik
Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
2nd Edition
Published on 15. October 1998
Book
Paperback/Softback
XI, 404 pages
978-3-540-64392-0 (ISBN)
Description
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.
More details
Series
Edition
2. Auflage 1998
Language
German
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Upper undergraduate
Edition type
New edition
Illustrations
XI, 404 S.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 23 mm
Weight
633 gr
ISBN-13
978-3-540-64392-0 (9783540643920)
DOI
10.1007/978-3-642-58911-9
Schweitzer Classification
Other editions
Additional editions
Manfred Broy
Informatik
Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
E-Book
03/2013
2nd Edition
Springer
€22.47
Available for download
Previous edition
Manfred Broy
Informatik
Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung
Book
09/1995
Springer
€49.95
Article exhausted; check for reprint
Person
Prof. Dr. Dr. h.c. Manfred Broy ist Inhaber des Lehrstuhls für Software & Systems Engineering an der Technischen Universität München. Seine Schwerpunkte in Forschung und Lehre sind die Entwicklung sicherheitskritischer eingebetteter Systeme, mobile und kontextadaptive Softwaresysteme, und Entwicklungsmethoden für leistungsfähige industriell einsetzbare Softwaresysteme. In zahlreichen Industriekooperationen konnte die Arbeiten des Lehrstuhls angewendet und evaluiert werden. Für seine Arbeit wurde Manfred Broy vielfach ausgezeichnet.
Dr. Marco Kuhrmann ist wissenschaftlicher Assistent am Lehrstuhl Software & Systems Engineering an der Technischen Universität München. Seine Schwerpunkte in Forschung und Lehre sind die Entwicklung und das Management von Prozessmodellen sowie das systematische Vorgehen in global verteilten Softwareentwicklungsprojekten. Er ist einer der Entwickler des V-Modell® XT, dessen Anpassung und Einführung in Organisationen und Projekten erbereits vielfach begleitet hat.
Content
III Systemnahe Programmierung.- 1. Prozesse, Koordination und Kommunikation in verteilten Systemen.- 2. Betriebssysteme und Systemprogrammierung.- 3. Interpretation und Übersetzung von Programmen.- IV Formale Sprachen, Berechenbarkeit, Komplexität, Logikprogrammierung.- 1. Formale Sprachen.- 2. Berechenbarkeit.- 3. Komplexitätstheorie.- 4. Effiziente Algorithmen und Datenstrukturen.- 5. Beschreibungstechniken in der Programmierung.- 6. Abschließende Bemerkungen zur Entwicklung und Anwendungsgebieten der Informatik.- Stichwortverzeichnis.