1 Treffer in 0.005 Sek.
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
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