Suchergebnisse - Melquiond, Guillaume

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

    Handbook of floating-point arithmetic
    von Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge

    Veröffentlicht 2018
    Online lesen
    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

    Handbook of floating-point arithmetic
    von Muller, Jean-Michel 1961-, Brunie, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge

    Veröffentlicht 2018
    Buch


    Gespeichert in:

Suchwerkzeuge: