Ernst-Rüdiger Olderog - Böcker
Visar alla böcker från författaren Ernst-Rüdiger Olderog.
9 produkter
9 produkter
Real-Time Systems
Av Germany) Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Henning Dierks, Ernst-Rüdiger Olderog
Inbunden, Engelska, 2008
1 479 kr
Skickas inom 7-10 vardagar
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer
Häftad, Engelska, 2012
1 169 kr
Skickas inom 7-10 vardagar
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer
Inbunden, Engelska, 2009
1 459 kr
Skickas inom 7-10 vardagar
Model Checking, Synthesis, and Learning
Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog
Häftad, Engelska, 2021
939 kr
Skickas tisdag 21/10
Inbunden, Engelska, 2017
1 459 kr
Skickas inom 7-10 vardagar
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, Ernst-Rudiger Olderog
Häftad, Engelska, 2018
1 459 kr
Skickas inom 7-10 vardagar
Del 2469 - Lecture Notes in Computer Science
Formal Techniques in Real-Time and Fault-Tolerant Systems
Häftad, Engelska, 2002
719 kr
Skickas inom 7-10 vardagar
Häftad, Tyska, 1994
409 kr
Skickas inom 7-10 vardagar
Del 1710 - Lecture Notes in Computer Science
Correct System Design
Häftad, Engelska, 1999
739 kr
Skickas inom 7-10 vardagar