Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Tag / Computer arithmetic;Coq (Electronic resource);Floa

Books with this tag

Computer arithmetic;Coq (Electronic resource);Floa

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

2017 · ENGLISH · DJVU

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme