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

EDV | Informatik

3  Treffer  für „Vizel, Yakir“
Alle Filter löschen
    Vizel / Shoham | Computer Aided Verification | Buch | Sack Fachmedien

    Vizel / Shoham Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13184-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vizel / Shoham | Computer Aided Verification | Buch | Sack Fachmedien

    Vizel / Shoham Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-13187-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henglein / Vizel / Shoham | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Henglein / Vizel / Shoham Verification, Model Checking, and Abstract Interpretation

    22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-67066-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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