Ergebnisse filtern
Fachgebiet
Medium
  • 3
  • 2
Erscheinungsjahr
  • 2
  • 2
  • 1
Autoren
  • 1
  • 2
  • 5
  • 2
Verlag
  • 3
  • 1
  • 1
Preis
  • 2
  • 2
  • 1
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5
5  Treffer  für „Fisman, Dana“
    Eisner / Fisman | A Practical Introduction to PSL | eBook | Sack Fachmedien
    E-Book

    Eisner / Fisman A Practical Introduction to PSL

    1. Auflage 2007
    Verlag: Springer US
    ISBN: 978-0-387-36123-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    149,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fisman / Rosu | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Fisman / Rosu Tools and Algorithms for the Construction and Analysis of Systems

    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99523-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / Fisman | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Feng / Fisman Runtime Verification

    21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88494-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    80,24 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fisman / Rosu | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Fisman / Rosu Tools and Algorithms for the Construction and Analysis of Systems

    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99526-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / Fisman | Runtime Verification | Buch | Sack Fachmedien

    Feng / Fisman Runtime Verification

    21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88493-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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