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) – Ebook Instant Download/Delivery ISBN(s): 9781785481123,1785481126
You may also like…
Computers - Networking
Computer vision: theory, algorithms, practicalities Fifth Edition Davies
Engineering
Computers - Computer Graphics & Design
3-D Computer Vision: Principles, Algorithms and Applications 1st Edition Yu-Jin Zhang
Computers - Algorithms and Data Structures
Algorithms For Dummies (For Dummies (Computer/Tech)) 2nd Edition Mueller
Computers - Artificial Intelligence (AI)
Cognitive Behavior and Human Computer Interaction Based on Machine Learning Algorithms 1st Edition
Computers - Algorithms and Data Structures
The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, Part 2 1st Edition
Computers - Algorithms and Data Structures
The Art of Computer Programming – Combinatorial Algorithms Donald Knuth