Normal view MARC view ISBD view

Formal Verification of Floating-Point Hardware Design

David M. Russinoff

Formal Verification of Floating-Point Hardware Design - Springer Springer 2022

ISBN: 9783030871819

Source: EBOOK