DE
FR
"Ernst-Rüdiger Olderog"
(6 Artikel gefunden)
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
07.03.2013
CHF
31.90
Download steht sofort bereit
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
09.03.2013
CHF
106.90
Download steht sofort bereit
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
E-Book (pdf)
09.03.2013
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.
