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

Mathematik | Informatik

3  Treffer  für „Dimitrova, Rayna“
Alle Filter löschen
    Dimitrova / Wolff / Lahav | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Wolff / Lahav | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-50523-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloem / Sharygina / Dimitrova | Software Verification | Buch | Sack Fachmedien

    Bloem / Sharygina / Dimitrova Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-95560-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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