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

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boerm. fl.

Häftad, Engelska, 2012

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

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boerm. fl.

Inbunden, Engelska, 2009

1 459 kr

Skickas inom 10-15 vardagar

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning, Häftad
Del 13030 - Lecture Notes in Computer Science

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

AvErnst-Rüdiger Olderog,Bernhard Steffenm. fl.

Häftad, Engelska, 2021

949 kr

Skickas inom 10-15 vardagar

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

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowenm. fl.

Inbunden, Engelska, 2017

1 459 kr

Skickas inom 10-15 vardagar

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

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowenm. fl.

Häftad, Engelska, 2018

1 459 kr

Skickas inom 10-15 vardagar

Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

AvWerner Damm,Ernst-Rüdiger Olderog

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

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

Programmverifikation

Sequentielle, parallele und verteilte Programme

AvKrzysztof R. Apt,Ernst-Rüdiger Olderog

Häftad, Tyska, 1994

409 kr

Skickas inom 10-15 vardagar

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

Correct System Design

Recent Insights and Advances

AvErnst-Rüdiger Olderog,Bernhard Steffen

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar