Ernst-Rüdiger Olderog - Böcker

Visar alla böcker från författaren Ernst-Rüdiger Olderog.
9 produkter
Ernst-Rüdiger Olderog, Henning Dierks, Germany) Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Ernst-Rüdiger Olderog - Real-Time Systems, Inbunden

Real-Time Systems

Av Ernst-Rüdiger Olderog, Henning Dierks, Germany) Olderog, Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg, Ernst-Rüdiger Olderog

Inbunden, Engelska, 2008

1 449 kr

Skickas inom 7-10 vardagar
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer - Verification of Sequential and Concurrent Programs, Häftad

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 10-15 vardagar
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer - Verification of Sequential and Concurrent Programs, Inbunden

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 449 kr

Skickas inom 10-15 vardagar
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, Häftad

Model Checking, Synthesis, and Learning

Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog

Häftad, Engelska, 2021

919 kr

Skickas torsdag 20/11
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Inbunden

Provably Correct Systems

Av Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

Inbunden, Engelska, 2017

1 449 kr

Skickas inom 10-15 vardagar
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, Ernst-Rudiger Olderog - Provably Correct Systems, Häftad

Provably Correct Systems

Av Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, Ernst-Rudiger Olderog

Häftad, Engelska, 2018

1 449 kr

Skickas inom 10-15 vardagar
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 2469 - Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Av Werner Damm, Ernst-Rüdiger Olderog

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar
Krzysztof R. Apt, Ernst-Rüdiger Olderog, Krzysztof Apt - Programmverifikation, Häftad

Programmverifikation

Av Krzysztof R. Apt, Ernst-Rüdiger Olderog, Krzysztof Apt

Häftad, Tyska, 1994

399 kr

Skickas inom 10-15 vardagar
Ernst-Rüdiger Olderog, Bernhard Steffen - Correct System Design, Häftad
Del 1710 - Lecture Notes in Computer Science

Correct System Design

Av Ernst-Rüdiger Olderog, Bernhard Steffen

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar