mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
All data
Typ
Titel
Person
Autor (Nachname, Vorname)
Jahr
All data
Typ
Titel
Person
Autor (Nachname, Vorname)
Jahr
All data
Typ
Titel
Person
Autor (Nachname, Vorname)
Jahr
More Searchfields
Reset
Search
Simple search
mediaTUM Content
University Bibliography
Electronic Examination Papers
Subject
(21122)
Erziehungswissenschaft
(21)
General
(17)
Architecture
(350)
Civil Engineering, Surveying
(884)
Mining
(5)
Life Sciences
(2272)
Brewing Science
(138)
Chemistry
(2375)
Chemistry Eningeering, Technical Chemistry, Biotechnology
(723)
Data Processing, Informatics
(1883)
Electrical Engineering
(1253)
Power Engineering, Energy Industry
(551)
Educational Sciences
(102)
Fine Mechanics, Medical Technology, Technical Optics, Reprography Technology
(88)
Manufacturing Engineering
(405)
Forestry
(248)
Geologic Science
(343)
History
(11)
Metallurgy
(3)
Library and Information Science, Documentation, Archive and Museum
(50)
Nuclear Technology, Nuclear Energy
(115)
Communications
(14)
Art
(31)
Agricultural Science
(626)
Food Technology
(452)
Linguistics
(4)
Literature
(1)
Mechanical Engineering
(1646)
Mathematics
(630)
Medicine
(5956)
Measurement Engineering, Control Engineering and Control Engineering, Automation
(391)
Natural Sciences (general)
(263)
Ecotrophology, Nutrition Sciences
(235)
Philosophy
(20)
Physics
(1918)
Political Science
(49)
Psychology
(266)
Space Planning, Space Order
(124)
Law
(12)
Religious Studies, Theology
Other Industries
(12)
Sociology
(77)
Sports
(228)
Traffic Engineering
(685)
Technology, Engineering (general)
(471)
Technical Mechanics, Technical Thermodynamics, Technical Acoustics
(396)
Environment Protection and Health Engineering
(372)
Veterinary Medicine
(24)
Military Engineering
(2)
Material Sciences
(373)
Business Science
(1169)
Science Research
(23)
School
(23772)
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
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
Elektronische Prüfungsarbeiten
School
TUM School of Computation, Information and Technology
Mathematics
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
Elektronische Prüfungsarbeiten
Fachgebiet
Datenverarbeitung, Informatik
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Prüfungsarbeiten
Dissertationen