
Formal Verification of Floating-Point Hardware Design
David M. Russinoff
₹3,418

Foundations and Applications
by Haniel Barbosa, Yoni Zohar
Springer International Publishing AG · 2023
Free delivery. Nothing extra to pay at checkout.
Formal Methods: Foundations and Applications is written by Haniel Barbosa & Yoni Zohar. This edition from Springer International Publishing AG (2023) has 153 pages.
Its main subjects are Mathematics.