Formal verification of floating-point hardware design a mathematical approach

Bibliographic Details
Main Author:	Russinoff, David M. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic Resource
Language:	English
Published:	Cham Springer Nature Switzerland AG [2019]
Edition:	First edition.
Subjects:	Electronic books.
Online Access:	Available for University of the Philippines Diliman via SpringerLink. Click here to access