Partner

4 Treffer in 0.004 Sek.

[Externer Link] A theory for nondeterminism, parallelism, communication and concurrency [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Theoretical computer science; 45
Fachgebiet: Informatik; Mathematik
[Externer Link] Algebraic implementations preserve program correctness [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1986
Zeitschrift / Sammelband: Science of computer programming; 7
Fachgebiet: Informatik
[Externer Link] Nondeterministic data flow programs : how to avoid the merge anomaly; 1 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 10
Fachgebiet: Informatik
[Externer Link] Views of queues [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: Amsterdam [u.a.] |  Verlag: Elsevier |  Erscheinungsjahr: 1988
Zeitschrift / Sammelband: Science of computer programming; 11
Fachgebiet: Informatik

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Autor / Herausgeber [Filter entfernen]

Erscheinungsjahr

Sprache