%0 Generic
%T Formal Verification of Floating-Point Hardware Design A Mathematical Approach
%A Russinoff, David M.
%7 2nd ed. 2022.
%I Springer International Publishing
%I : Imprint: Springer
%@ 9783030871819
%K Computer arithmetic and logic units.
%K Computers.
%K Microprocessors.
%K Computer architecture.
%K Electronic circuit design.
%D 2022.
%D , 2022.
%C Springer International Publishing
%C : Imprint: Springer
%C Cham
%C ; Cham
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation