LIBROS DEL AUTOR: david m russinoff

2 resultados para LIBROS DEL AUTOR: david m russinoff

david m russinoff Eliminar filtro Quitar filtros
  • Formal Verification of Floating-Point Hardware Design
    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 a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal v...
    Disponible

    133,08 €

  • Formal Verification of Floating-Point Hardware Design
    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 methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of ...
    Disponible

    121,08 €