Suchergebnisse - Prevosto, Virgile

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Tests and proofs: 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Prevosto, Virgile …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Prevosto, Virgile …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Tests and proofs: 17th international conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Prevosto, Virgile …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: