Subject Area

Year of Publicationnase: 1986 <a href="/en/fs1/subjectRVK-index/query.html?mode=subjectRVK&amp;person_str=%7BBroy%2C+Manfred%7D" target="_self">[Remove filter]
Author / Editornase: Broy, Manfred <a href="/en/fs1/subjectRVK-index/query.html?pubYear=%7B1986%7D&amp;mode=subjectRVK" target="_self">[Remove filter]

A
B
- Biologie
C
- Chemie und Pharmazie
E
- Ethnologie
G
I
- Informatik
K
L
- Land- und Forstwirtschaft. Gartenbau. Fischereiwirtschaft. Hauswirtschaft
M
P
R
- Rechtswissenschaft
- Romanistik
S
- Soziologie
T
- Technik
- Theologie und Religionswissenschaften
W
- Wirtschaftswissenschaften

2 hits in 0.005 sec.

[External link] A theory for nondeterminism, parallelism, communication and concurrency [Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik

[External link] Algebraic implementations preserve program correctness [Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik