Computer Arithmetic and Formal ProofsSylvie Boldo
Computer Arithmetic and Formal Proofs
Sylvie Boldo, Guillaume Melquiond · 2017
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2017
- Language
- English
- Publisher
- Elsevier
- Editions
- 3
- Pages
- 353
- ISBN
- 9781785481123
Data source: Wikidata