17 results
Type of media (2)
Availability (2)
Language (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
17 results

Your search for Ernst-Rüdiger Olderog

  1. Cover: Model Checking, Synthesis, and Learning - Springer
    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
    12/2021
    Springer
    9783030913847 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Programmverifikation - Springer
    Krzysztof R. Apt | Ernst-Rüdiger Olderog
    Programmverifikation
    Sequentielle, parallele und verteilte Programme
    03/2013
    Springer
    9783642579479 (ISBN)
    E-Book
    PDF
    Other editions
    €22.99
    Available for download
  3. Cover: Provably Correct Systems - Springer
    Mike Hinchey | Jonathan P. Bowen | Ernst-Rüdiger Olderog
    Provably Correct Systems
    03/2017
    Springer
    9783319486284 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    03/2013
    Springer
    9781475743760 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  5. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    03/2013
    2nd EDN2nd Edition
    Springer
    9781475727142 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  6. Cover: Formal Techniques in Real-Time and Fault-Tolerant Systems - Springer
    Werner Damm | Ernst-Rüdiger Olderog
    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
    06/2003
    Springer
    9783540457398 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Correct System Design - Springer
    Ernst-Rüdiger Olderog | Bernhard Steffen
    Correct System Design
    Recent Insights and Advances
    06/2003
    Springer
    9783540480921 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    09/2009
    3rd EDN3rd Edition
    Springer
    9781848827455 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  9. Cover: Model Checking, Synthesis, and Learning - Springer
    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
    11/2021
    Springer
    9783030913830 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 7-9 days
  10. Cover: Provably Correct Systems - Springer
    Mike Hinchey | Jonathan P. Bowen | Ernst-Rüdiger Olderog
    Provably Correct Systems
    03/2017
    Springer
    9783319486277 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 10-15 days
  11. Cover: Provably Correct Systems - Springer
    Mike Hinchey | Jonathan P. Bowen | Ernst-Rüdiger Olderog
    Provably Correct Systems
    05/2018
    Springer
    9783319839806 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  12. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    03/2012
    3rd EDN3rd Edition
    Springer
    9781447125136 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days
  13. Cover: Formal Techniques in Real-Time and Fault-Tolerant Systems - Springer
    Werner Damm | Ernst-Rüdiger Olderog
    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
    08/2002
    Springer
    9783540441656 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: Programmverifikation - Springer
    Krzysztof R. Apt | Ernst-Rüdiger Olderog
    Programmverifikation
    Sequentielle, parallele und verteilte Programme
    03/1994
    1st EDN1st Edition
    Springer
    9783540574798 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €29.95
    Shipment within 10-15 days
  15. Cover: Correct System Design - Springer
    Ernst-Rüdiger Olderog | Bernhard Steffen
    Correct System Design
    Recent Insights and Advances
    09/1999
    Springer
    9783540666240 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  16. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    10/2009
    3rd EDN3rd Edition
    Springer
    9781848827448 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  17. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    05/1997
    2nd EDN2nd Edition
    Springer
    9780387948966 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Exhausted; check for reprint
    New edition available