Ergebnisse filtern
Fachgebiet
Medium
  • 6
  • 3
Erscheinungsjahr
  • 2
  • 3
  • 2
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 9
Verlag
  • 6
  • 3
Preis
  • 1
  • 8
Sprachen
  • 9
Verfügbarkeit
  • 9
Katalog
  • 9
9  Treffer  für „Wehrheim, Heike“
    Wehrheim / Cabot | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Wehrheim / Cabot 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
    ISBN: 978-3-030-45233-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Wehrheim | Tests and Proofs | Buch | Sack Fachmedien

    Ahrendt / Wehrheim 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
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Wehrheim | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    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
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34893-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    Leuschel / Wehrheim | Integrated Formal Methods | Buch | Sack Fachmedien

    Leuschel / Wehrheim Integrated Formal Methods

    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00254-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Saoud / Wehrheim | Theoretical Aspects of Computing - ICTAC 2025 | Buch | Sack Fachmedien

    Liu / Saoud / Wehrheim Theoretical Aspects of Computing - ICTAC 2025

    22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11175-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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 / Platzer / Wehrheim | Correct System Design | Buch | Sack Fachmedien

    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
    ISBN: 978-3-319-23505-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Saoud / Wehrheim | Theoretical Aspects of Computing – ICTAC 2025 | eBook | Sack Fachmedien
    E-Book

    Liu / Saoud / Wehrheim Theoretical Aspects of Computing – ICTAC 2025

    22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-11176-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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