Partner

Partner | Association for Computing Machinery

4 Treffer in 0.006 Sek.

A formal model of services; 1 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Krüger, Ingolf; Meisinger, Michael |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 2007 | 40 S.
Zeitschrift / Sammelband: ACM transactions on software engineering and methodology; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
On the algebraic definition of programming languages; 1 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Wirsing, Martin; Pepper, Peter |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1987 | 46 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 9
Fachgebiet: Informatik; Mathematik
[Suche in der Publikation] [PDF-Download]
Compositional refinement of interactive systems; 6 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1997 | 42 S.
Zeitschrift / Sammelband: Journal of the ACM; 44
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]
Adding fair choice to Dijkstra's calculus; 3 [Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Nelson, Greg |  Verlagsort: New York, NY |  Verlag: Association for Computing Machinery |  Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
[Suche in der Publikation] [PDF-Download]

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Sprache