Ergebnisse filtern
Fachgebiet
Medium
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 9
  • 1
  • 2
  • 2
  • 1
  • 1
Verlag
  • 1
  • 6
  • 2
Preis
  • 1
  • 4
  • 4
Sprachen
  • 8
  • 1
Verfügbarkeit
  • 9
Katalog
  • 9

Mathematik | Informatik

9  Treffer  für „Olderog, Ernst-Rüdiger“
Alle Filter löschen
    Olderog / Steffen | Correct System Design | Buch | Sack Fachmedien

    Olderog / Steffen Correct System Design

    Recent Insights and Advances
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66624-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / Olderog | Programmverifikation | Buch | Sack Fachmedien

    Apt / Olderog Programmverifikation

    Sequentielle, parallele und verteilte Programme
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57479-8
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damm / Olderog | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Damm / 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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44165-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Dierks | Real-Time Systems | Buch | Sack Fachmedien

    Olderog / Dierks Real-Time Systems

    Erscheinungsjahr 2008
    Verlag: Cambridge University Press
    ISBN: 978-0-521-88333-7
    Medium: Buch
    109,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Olderog / Bowen | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Olderog / Bowen Provably Correct Systems

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83980-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Olderog / Bowen | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Olderog / Bowen Provably Correct Systems

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48627-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olderog / Steffen / Yi | Model Checking, Synthesis, and Learning | Buch | Sack Fachmedien

    Olderog / Steffen / Yi Model Checking, Synthesis, and Learning

    Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91383-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / de Boer / Olderog | Verification of Sequential and Concurrent Programs | Buch | Sack Fachmedien

    Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs

    Third Auflage 2009
    Verlag: Springer
    ISBN: 978-1-84882-744-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apt / de Boer / Olderog | Verification of Sequential and Concurrent Programs | Buch | Sack Fachmedien

    Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs

    Third Auflage 2009
    Verlag: Springer
    ISBN: 978-1-4471-2513-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular