Home Advanced Search

Advanced Search - Page 1

Real-Time Systems: Formal Specification and Automatic Verification
  • PDF
  • English
  • Year: 2008
  • Author: Ernst-Rudiger Olderog, Henning Dierks
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1997
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1991
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • EPUB
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Knowledge on the Move in a Transottoman Perspective: Dynamics of Intellectual Exchange from the Fifteenth to the Early Twentieth Century
  • PDF
  • German
  • Year: 2021
  • Author: Evelin Dierauff; Dennis Dierks; Barbara Henning; Taisiya Leber; Ani Sargsyan
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Correct System Design: Recent Insights and Advances
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
search