DE
FR
"Ernst-Rüdiger Olderog"
(5 Artikel gefunden)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
CHF
106.90
Download steht sofort bereit
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
CHF
31.90
Download steht sofort bereit
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
CHF
106.90
Download steht sofort bereit
1
2
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
