Kirjat Ernst-Rüdiger Olderog
Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
-25% koodilla BOOKS
Toimittajalla varastossa
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
-25% koodilla BOOKS
Toimittajalla varastossa
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Frank S. De Boer
-25% koodilla BOOKS
Toimittajalla varastossa