Tous les ebooks de David M. Russinoff en PDF et EPUB


2  résultat(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...

Parution : 2022-03-03
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
119,99
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...

Parution : 2018-10-13
Format(s) : PDF, ePub
Éditeur : Springer
J'achète
101,99

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés