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

Mathematik | Informatik

3  Treffer  für „Fisman, Dana“
Alle Filter löschen
    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
    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