Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 4
Erscheinungsjahr
  • 1
  • 2
  • 2
  • 2
  • 2
Autoren
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
Verlag
  • 5
  • 4
Preis
  • 2
  • 5
  • 2
Sprachen
  • 9
Verfügbarkeit
  • 9
Eigenschaften
  • 1
Katalog
  • 9
9  Treffer  für „Rozier, Kristin Yvonne“
    Ernst / Rozier | Model Checking Software | eBook | Sack Fachmedien
    E-Book

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-06847-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rozier / Chaudhuri | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Rozier / Chaudhuri NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-33170-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chaudhuri / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Chaudhuri / Rozier NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-33169-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Badger / Rozier NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06200-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Badger / Rozier NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-20652-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rozier / Badger | NASA Formal Methods | Buch | Sack Fachmedien

    Rozier / Badger NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozier / Badger | NASA Formal Methods | Buch | Sack Fachmedien

    Rozier / Badger NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-20651-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rossi / Rozier | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rossi / Rozier Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
    2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71161-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rossi / Rozier | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rossi / Rozier Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
    2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71176-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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