"Floating-point arithmetic+Mathematical models." - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "Floating-point arithmetic+Mathematical models."

Showing 1 - 1 of 1 results

Search Results

Cover image for A high-level formalization of floating-point numbers in PVS

A high-level formalization of floating-point numbers in PVS

by Boldo, Sylvie
2006
Format: Electronic

Location
Access Content Online