Search results for ‘Sylvie Boldo (INRIA, France),Guillaume Melquiond (INRIA, France)’

Filter & Refine

      Cover image for Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
      Hardback
      Add to list Added to list

      Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System

      Sylvie Boldo (INRIA, France),Guillaume Melquiond (INRIA, France)

      OTT Video Streaming and VoIP Services OTT Video Streaming and VoIP Services

      $222.95

      Available to order, ships in approx 2 weeksAvailable to order