Search results for ‘David M. Russinoff’

Filter & Refine

      Hardback
      Add to list Added to list

      Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      David M. Russinoff

      This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances…

      $384.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
      Hardback
      Add to list Added to list

      Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      David M. Russinoff

      This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification…

      $227.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
      Paperback
      Add to list Added to list

      Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

      David M. Russinoff

      This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification…

      $214.99

      Available to order, ships in 7-14 daysAvailable to order