We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£111.99
Elsevier Computer Arithmetic and Formal Proofs - Coq System
Price data checked 6 days ago
We'll watch every seller, every day. One email when your price arrives.
About as cheap as it gets. The only time it was cheaper was 3 months ago.
£112 today · all-time low £112 (Apr 2026) · usually £113
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 85 days • 85 data points (No recent data available)
Price Distribution
Price distribution over 85 days • 2 price levels
Price Analysis
Most common price: £113 (46 days, 54.1%)
Price range: £112 - £113
Price levels: 2 different prices over 85 days
Description
Key Features
Learn to use the Coq proof assistant to formally specify and verify floating-point algorithms for higher software reliability.
Gain a comprehensive understanding of the Flocq formalization used for floating-point arithmetic verification.
Explore methods to automate the verification process to improve efficiency in proving algorithm correctness.
Address the challenges of limited range and precision in modern computing through computer-assisted proofs.
Study practical approaches to increasing confidence in floating-point software through formal correctness methods.
Product Specifications
- Brand
- Elsevier
- Format
- hardcover
- ASIN
- 1785481126
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 20 November 2017
- Listed Since
- 30 June 2016
Barcode
No barcode data available
Similar Products You Might Like
Handbook of Floating-Point Arithmetic
Birkhauser
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
Springer
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs: 21 (Springer Series in Computational Mathematics, 21)
Springer
Accuracy Verification Methods: Theory and Algorithms: 32 (Computational Methods in Applied Sciences, 32)
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
Springer
Numbers and Computers (Texts in Computer Science)
Springer
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
World Scientific Publishing Company
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)
Springer
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
Lectures on Finite Precision Computations: 1 (Software, Environments and Tools, Series Number 1)
Society for Industrial and Applied Mathematics (SIAM)
Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)
Cambridge University Press
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
An Introduction to Mathematical Proofs (Textbooks in Mathematics)
CRC Press
Formal Verification: An Essential Toolkit for Modern VLSI Design
Morgan Kaufmann
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Speculative Execution in High Performance Computer Architectures
CRC Press
Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Information Science Reference