mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
Advanced search
mediaTUM Content
University Bibliography
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
Research Centers
TUM Board of Management
Functional Units
Partnerschaftliche Einrichtungen
Schools
Service Facilities
Alumni & Career
(1923)
Films
(2)
Prize Winners of TUM
(6)
Leibniz-Preisträger
(6)
Abstreiter, Gerhard
(2)
Broy, Manfred
(2)
Herrmann, Wolfgang A.
(2)
Publications
(1)
Corporate Communications Center
Excellence Initiative
IT Service Center
Media Center
TUM Center for Study and Teaching (TUM CST)
University Library
University Sport
(167)
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Serviceeinrichtungen
Alumni & Career
Preisträger der TU München
Leibniz-Preisträger
Broy, Manfred
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Document type:
Dissertation
Author(s):
Broy, Manfred
Information about the author:
Prof. Dr. Dr. h.c. Manfred Broy, Ordinarius für Informatik an der TU München, erhielt den Leibnizpreis 1994.
Title:
Transformation parallel ablaufender Programme
Translated title:
Transformation of parallel running programs
Keywords:
mathematische Semantik, funktionale Äquivalenz, Nicht-Determinismus, Parallelität, gemeinsamer Speicher
Subject:
DAT Datenverarbeitung, Informatik
DDC:
000 Informatik, Wissen, Systeme
Advisor:
Bauer, Friedrich Ludwig (Prof. Dr. Dr. h.c.)
Referee:
Seegmüller, Gerhard (Prof. Dr.)
Date of acceptation:
04.02.1980
Year:
1980
Language:
de
Language from translation:
en
Notes:
Die Retrodigitalisierung konnte dank Spenden von Alumni der TU München finanziert werden.
University:
Technische Universität München
Faculty:
Fakultät für Mathematik
Format:
Text
BVB-ID:
BV000995839
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Serviceeinrichtungen
Alumni & Career
Preisträger der TU München
Leibniz-Preisträger
Broy, Manfred
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
Mathematics
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Prüfungsarbeiten
Dissertationen