Formal Verification of Floating-Point Hardware Design

Type:

e-book

Titel:

Formal Verification of Floating-Point Hardware Design

Auteur:

Russinoff; Moore, J. Strother

Taal:

Engels

Uitgever:

Springer International Publishing 2019

ISBN:

3-319-95512-8
3-319-95513-6

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000007003156