Ebooks de David M. Russinoff en PDF et EPUB

2 Livre(s)
Télécharger le livre : Formal Verification of Floating-Point Hardware Design
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2022-03-03

PDF, ePub

116,04 €
Télécharger le livre : Formal Verification of Floating-Point Hardware Design
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2018-10-13

PDF, ePub

89,66 €