Hoppa till sidans huvudinnehåll

Ernst-Rüdiger Olderog - Böcker

Visar alla böcker från författaren Ernst-Rüdiger Olderog.
9 produkter

Real-Time Systems

Formal Specification and Automatic Verification

AvErnst-Rüdiger Olderog,Henning Dierks m. fl.

Inbunden, Engelska, 2008

1 419 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer m. fl.

Häftad, Engelska, 2012

1 129 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer m. fl.

Inbunden, Engelska, 2009

1 419 kr

Skickas inom 10-15 vardagar

Model Checking, Synthesis, and Learning

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

AvErnst-Rüdiger Olderog,Bernhard Steffen m. fl.

Häftad, Engelska, 2021

929 kr

Skickas inom 10-15 vardagar

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowen m. fl.

Inbunden, Engelska, 2017

1 409 kr

Skickas inom 10-15 vardagar

Provably Correct Systems

AvMike Hinchey,Jonathan P. Bowen m. fl.

Häftad, Engelska, 2018

1 409 kr

Skickas inom 10-15 vardagar

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

689 kr

Skickas inom 10-15 vardagar

Programmverifikation

Sequentielle, parallele und verteilte Programme

AvKrzysztof R. Apt,Ernst-Rüdiger Olderog m. fl.

Häftad, Tyska, 1994

389 kr

Skickas inom 10-15 vardagar

Correct System Design

Recent Insights and Advances

AvErnst-Rüdiger Olderog,Bernhard Steffen

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar