Books by Krzysztof R Apt
No products found matching the selection.
-30%
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
€125.99
€179.98
-30% with code BOOKS
In stock at our supplier
-30%
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
€100.79
€143.98
-30% with code BOOKS
In stock at our supplier
-30%
Edsger Wybe Dijkstra: His Life, Work, and Legacy
€129.12
€184.46
-30% with code BOOKS
In stock at our supplier