We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£111.79
It has never been this cheap. We have no record of a lower price.
£112 today · cheaper than every other day in the last 3 months
Elsevier Computer Arithmetic and Formal Proofs - Floating-point Verification
Price data last checked 43 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 48 days · 48 data points (no recent data)
Price data last checked 43 day(s) ago - refreshing...
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 Distribution
Price distribution over 48 days • 1 price levels
Price Analysis
Most common price: £112 (48 days, 100.0%)
Price range: £112 - £112
Price levels: 1 different prices over 48 days
Description
Key Features
Comprehensive guide to formally specifying and verifying floating-point algorithms with the Coq proof assistant.
Detailed coverage of the Flocq formalization library for floating-point arithmetic verification and analysis.
Practical methods and automation techniques to streamline the formal verification process for numerical software.
Essential resource for software engineers and computer scientists building high-assurance floating-point applications.
Addresses common pitfalls and failures that arise from floating-point arithmetic's limited range and precision constraints.
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
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
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
Springer
Numbers and Computers
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
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
Imprecise and Approximate Computation: 318 (The Springer International Series in Engineering and 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 (Software, Environments and Tools): 1 (Software, Environments and Tools, Series Number 1)
Society for Industrial and Applied Mathematics (SIAM)
Cambridge Practical Foundations of Mathematics - Book 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
Elsevier
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer