Your search returned 2 results.

Results
		Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / Sylivie Boldo, Guillaume Melquiond by Boldo, Sylvie [author.] Melquiond, Guillaume [author.] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publisher: London, UK : Elsevier, 2017Copyright date: ©2017 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.9.C62 B65 2017. Place hold Log in to add tags Add to cart (remove)
		No cover image available Computer arithmetic / edited by Earl E. Swartzlander, Jr by Swartzlander, Earl E., Jr Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Singapore : World Scientific , 2015 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.6 .C66 2015. Place hold Log in to add tags Add to cart (remove)

Refine your search