mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
Alle Daten
Herausgeber / Bearbeiter
BVB-ID
Alle Daten
Herausgeber / Bearbeiter
BVB-ID
Alle Daten
Herausgeber / Bearbeiter
BVB-ID
Mehr Felder
Zurücksetzen
Suchen
Einfache Suche
mediaTUM Gesamtbestand
Hochschulbibliographie
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
Forschungszentren
Hochschulpräsidium
Hochschulreferate
Partnerschaftliche Einrichtungen
Schools
Serviceeinrichtungen
Alumni & Career
(1923)
Filme
(2)
Preisträger der TU München
(6)
Leibniz-Preisträger
(6)
Abstreiter, Gerhard
(2)
Broy, Manfred
(2)
Herrmann, Wolfgang A.
(2)
Publikationen
(1)
Corporate Communications Center
Exzellenzinitiative
IT-Servicezentrum
Medienzentrum
TUM Center for Study and Teaching (TUM CST)
Universitätsbibliothek
Zentraler Hochschulsport
(167)
TUM Institute for LifeLong Learning
Zentrale Verwaltung
mediaTUM Gesamtbestand
Einrichtungen
Serviceeinrichtungen
Alumni & Career
Preisträger der TU München
Leibniz-Preisträger
Broy, Manfred
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Dissertation
Autor(en):
Broy, Manfred
Informationen zum Autor:
Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994.
Titel:
Transformation parallel ablaufender Programme
Übersetzter Titel:
Transformation of parallel running programs
Stichworte:
mathematische Semantik, funktionale Äquivalenz, Nicht-Determinismus, Parallelität, gemeinsamer Speicher
Fachgebiet:
DAT Datenverarbeitung, Informatik
DDC:
000 Informatik, Wissen, Systeme
Betreuer:
Bauer, Friedrich Ludwig (Prof. Dr. Dr. h.c.)
Gutachter:
Seegmüller, Gerhard (Prof. Dr.)
Jahr:
1980
Sprache:
de
Sprache der Übersetzung:
en
Hinweise:
Die Retrodigitalisierung konnte dank Spenden von Alumni der TU München finanziert werden.
Hochschule / Universität:
Technische Universität München
Fakultät:
Fakultät für Mathematik
Format:
Text
BVB-ID:
BV000995839
Annahmedatum:
04.02.1980
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
Mathematics
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
mediaTUM Gesamtbestand
Einrichtungen
Serviceeinrichtungen
Alumni & Career
Preisträger der TU München
Leibniz-Preisträger
Broy, Manfred
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Prüfungsarbeiten
Dissertationen