Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) – Ebook Instant Download/Delivery ISBN(s): 9781785481123,1785481126
Sale!
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) Sylvie Boldo
$25.00
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) Sylvie Boldo Digital Instant Download
ISBN(s): 9781785481123, 1785481126
File Details: PDF, 34.88 MB
Year: 2017
Language: English