gefundene Verfasser Boldo, Sylvie

Boldo, Sylvie
Abate, Alessandro
Melquiond, Guillaume
NSV Heidelberg

Treffer 1 - 3 von 3 für Suche 'Boldo, Sylvie', Suchdauer: 0,91s Treffer weiter einschränken
  1. 1
    Computer Arithmetic and Formal Proofs Verifying Floating-Point Algorithms with the Coq System

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

    Veröffentlicht 2017
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Computer arithmetic and formal proofs verifying floating-point algorithms with the coq system

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

    Veröffentlicht 2017
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Numerical software verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings

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

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: