Start Over
You searched for: author_facet Carrenõ, Victor A.

Search Results

Cover image for Interpretation of IEEE-854 floating-point standard and definition in the HOL system

Interpretation of IEEE-854 floating-point standard and definition in the HOL system

Location Call # Status
Joyner - Microforms B300 NAS 1.15:110189 ✔ Available