Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 4
Erscheinungsjahr
  • 3
  • 2
  • 2
  • 2
Autoren
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 9
Verlag
  • 3
  • 1
  • 5
Preis
  • 1
  • 8
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9
9  Treffer  für „Wehrheim, Heike“
    Wehrheim / Gorrieri | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Wehrheim / Gorrieri Formal Methods for Open Object-Based Distributed Systems

    8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34893-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wehrheim / Ahrendt | Tests and Proofs | Buch | Sack Fachmedien

    Wehrheim / Ahrendt Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabot / Wehrheim | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Cabot / Wehrheim Fundamental Approaches to Software Engineering

    23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45233-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wehrheim / Leuschel | Integrated Formal Methods | Buch | Sack Fachmedien

    Wehrheim / Leuschel Integrated Formal Methods

    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00254-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel / Wehrheim | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Leuschel / Wehrheim Integrated Formal Methods

    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-00255-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Gorrieri / Wehrheim | Formal Methods for Open Object-Based Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems

    8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-34895-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Wehrheim | Tests and Proofs | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Wehrheim Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50995-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Meyer / Platzer / Wehrheim | Correct System Design | eBook | Sack Fachmedien
    E-Book

    Meyer / Platzer / Wehrheim Correct System Design

    Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23506-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Meyer / Wehrheim / Platzer | Correct System Design | Buch | Sack Fachmedien

    Meyer / Wehrheim / Platzer Correct System Design

    Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23505-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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