Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Ergebnisse filtern
Fachgebiet
Medium
  • 1
  • 1
Erscheinungsjahr
  • 2
Autoren
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 3
  • 3
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
Verlag
  • 1
  • 1
Preis
  • 2
Sprachen
  • 2
Verfügbarkeit
  • 2
Katalog
  • 2
2  Treffer  für „Christakis, Maria“
    Christakis / Polikarpova / Duggirala | Software Verification | eBook | Sack Fachmedien
    E-Book

    Christakis / Polikarpova / Duggirala Software Verification

    12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
    Erscheinungsjahr 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63618-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Christakis / Polikarpova / Duggirala | Software Verification | Buch | Sack Fachmedien

    Christakis / Polikarpova / Duggirala Software Verification

    12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-63617-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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