|
|
|
|
LEADER |
00965nam a2200301 4500 |
001 |
DLU110117315 |
005 |
##20101221 |
040 |
# |
# |
|a DLU
|b eng
|
041 |
# |
# |
|a eng
|
044 |
# |
# |
|a uk
|
245 |
# |
# |
|a Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /
|c Behzad Akbarpour ... [et al.]. =653
|a Theorem proving
|
653 |
# |
# |
|a Floating-point arithmetic
|
653 |
# |
# |
|a Formal hardware verification
|
653 |
# |
# |
|a Higher-order logic
|
700 |
# |
# |
|a Abdel-Hamid, Amr T.
|
700 |
# |
# |
|a Akbarpour, Behzad
|
700 |
# |
# |
|a Harrison, John.
|
700 |
# |
# |
|a Tahar, Sofine
|
773 |
# |
# |
|t The Computer Journal
|g Vol. 53, no. 4 (May 2010), p. 465-488
|
920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
994 |
# |
# |
|a DLU
|
900 |
# |
# |
|a True
|
911 |
# |
# |
|a Trương Bảo Trâm Anh
|
925 |
# |
# |
|a G
|
926 |
# |
# |
|a A
|
927 |
# |
# |
|a BB
|
980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|