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

Mathematik | Informatik

3  Treffer  für „Prevosto, Virgile“
Alle Filter löschen
    Seceleanu / Prevosto | Tests and Proofs | Buch | Sack Fachmedien

    Seceleanu / Prevosto Tests and Proofs

    17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-38827-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Signoles / Prevosto | Guide to Software Verification with Frama-C | Buch | Sack Fachmedien

    Kosmatov / Signoles / Prevosto Guide to Software Verification with Frama-C

    Core Components, Usages, and Applications
    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-55607-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Prevosto / Signoles | Guide to Software Verification with Frama-C | Buch | Sack Fachmedien

    Kosmatov / Prevosto / Signoles Guide to Software Verification with Frama-C

    Core Components, Usages, and Applications
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-55610-4
    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