Hoppa till sidans huvudinnehåll

Ernst-Rüdiger Olderog – författare

Visar alla böcker från författaren Ernst-Rüdiger Olderog.
8 produkter
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Häftad

1 169 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Inbunden

1 459 kr

Skickas inom 10-15 vardagar

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning, Häftad

949 kr

Skickas inom 10-15 vardagar

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Inbunden

1 459 kr

Skickas inom 10-15 vardagar

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Häftad

1 459 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Ernst-Rüdiger Olderog - Programmverifikation, Häftad

409 kr

Skickas inom 10-15 vardagar

Ernst-Rüdiger Olderog, Bernhard Steffen - Correct System Design, Häftad

739 kr

Skickas inom 10-15 vardagar