Exzellenzportal der Leibnizpreisträger der Deutschen Forschungsgemeinschaft
Startseite
Suche
Projekt
Teilnehmende Preisträger
Partner
Fachgebiete
Kontakt
Hilfe
Impressum
Datenschutzerklärung
Barrierefreiheit
A
A
A
Zurück zum Suchergebnis
Suche in der Publikation
Adding fair choice to Dijkstra's calculus
Autor / Herausgeber
: Broy, Manfred ; Nelson, Greg
Verlagsort
: New York, NY |
Verlag
: Assoc. for Computing Machinery (ACM)
[Suche in der Publikation]
[PDF-Download]
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10