Bokus

Sylvie Boldo

Visar alla böcker från författaren Sylvie Boldo. Handla med fri frakt och snabb leverans.

  1. Computer Arithmetic and Formal Proofs

    Computer Arithmetic and Formal Proofs

    2017

  2. Computer Arithmetic and Formal Proofs

    Computer Arithmetic and Formal Proofs

    2017

  3. Numerical Software Verification

    Numerical Software Verification

    2017