Adding fair choice to Dijkstra's calculus

Digitalisierung: Bayerische Staatsbibliothek

Urheberrechtsschutz

Standort
München, Bayerische Staatsbibliothek -- 4 Z 81.25-16,1/3#S.924-938
Umfang
1 Online-Ressource (S. [924] - 938)
Sprache
Englisch
Anmerkungen
In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM)

Ereignis
Veröffentlichung
(wo)
New York, NY
(wer)
Assoc. for Computing Machinery (ACM)
(wann)
1994
Urheber

URN
urn:nbn:de:bvb:12-bsb00069234-4
Letzte Aktualisierung
16.04.2025, 08:42 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1994

Ähnliche Objekte (12)