Suchergebnisse - Boldo, Sylvie

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

    Computer Arithmetic and Formal Proofs: Verifying Floating-Point Algorithms with the Coq System
    von Boldo, Sylvie

    Veröffentlicht 2017
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Computer arithmetic and formal proofs: verifying floating-point algorithms with the coq system
    von Boldo, Sylvie, Melquiond, Guillaume

    Veröffentlicht 2017
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Numerical software verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Boldo, Sylvie …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: