1 Treffer in 0.004 Sek.

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

Aktive Filter [Filter entfernen]

Suchergebnis einschränken

Autor / Herausgeber [Filter entfernen]

Erscheinungsjahr

Sprache