Manfred Broy: Informatik | Taschenbuch

Cover: 9783540643920 | Informatik | Manfred Broy | Taschenbuch | Springer-Lehrbuch | Deutsch

Rückseite: 9783540643920 | Informatik | Manfred Broy | Taschenbuch | Springer-Lehrbuch | Deutsch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

32,99 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Beschreibung

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.

Über den Autor

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.

Zusammenfassung

Band 2 der erfolgreichen Neuauflage: moderne Einführung, formal fundiert, begrifflich klar

Schließt thematisch an Band 1 der Einführung an: behandelt Systemstrukturen, systemnahe Programmierung, Algorithmen und Datenstrukturen und ihre theoretischen Grundlagen

Mit deutlichem Preisvorteil (jetzt DM 58,- statt vorher je DM 44,- für die Teile III und IV)

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1998
Genre:	Informatik , Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Springer-Lehrbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9783540643920
ISBN-10:	3540643923
Sprache:	Deutsch
Einband:	Kartoniert / Broschiert
Autor:	Broy, Manfred
Auflage:	2. Auflage 1998
Hersteller:	Springer Springer Spektrum Springer-Verlag GmbH Springer-Lehrbuch
Verantwortliche Person für die EU:	Springer Nature Customer Service Center GmbH, Europaplatz 3, D-69115 Heidelberg, productsafety@springernature.com
Maße:	235 x 155 x 23 mm
Von/Mit:	Manfred Broy
Erscheinungsdatum:	15.10.1998
Gewicht:	0,633 kg