Kirjat Krzysztof R Apt
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
-35% koodilla BOOKS
Toimittajalla varastossa
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
-35% koodilla BOOKS
Toimittajalla varastossa
Edsger Wybe Dijkstra: His Life, Work, and Legacy
-35% koodilla BOOKS
Toimittajalla varastossa