Adding fair choice to Dijkstra's calculus
Autor / Herausgeber: Broy, Manfred ; Nelson, Greg
Autor / Herausgeber: Broy, Manfred ; Nelson, Greg
Verlagsort:
New York, NY |
Verlag:
Assoc. for Computing Machinery (ACM)
[Suche in der Publikation] [PDF-Download]
Keine Treffer
- Überprüfen Sie ob die Suchbegriffe richtig geschrieben sind.
- Probieren Sie allgemeinere Suchwörter aus.
- Verwenden Sie andere Suchbegriffe.
- Probieren Sie eine Schreibweise mit Bindestrichen aus.