Author Results for Russinoff, David, 1948

Russinoff, David,,1948-

1
Formal verification of floating-point hardware design : a mathematical approach /

Cover is for reference only
Main Authors: Russinoff, David, 1948
Group Author: Moore, J Strother, 1947
Published: Springer,
Publication Dates: [2019]
Call Number: TP301.6/R969
Book
Save to List
Saved in:
2
Formal verification of floating-point hardware design : a mathematical approach /

Cover is for reference only
Main Authors: Russinoff, David, 1948- (Author)
Published: Springer,
Publication Dates: [2022]
Call Number: TP301.6/R969/2nd ed.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —