We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£74.99
Springer Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Price data last checked 93 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
It has never been this cheap. We have no record of a lower price.
£75 today · cheaper than every other day in the last 24 months
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 638 days • 638 data points (No recent data available)
Price Distribution
Price distribution over 638 days • 1 price levels
Price Analysis
Most common price: £75 (638 days, 100.0%)
Price range: £75 - £75
Price levels: 1 different prices over 638 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 3319955128
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 22 October 2018
- Listed Since
- 05 June 2018
Barcode
No barcode data available
Similar Products You Might Like
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Springer
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
Digital VLSI Design and Simulation with Verilog
Wiley
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog
Springer
Assertion-Based Design
Springer
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems
Wiley
Computer Architecture: Software Aspects, Coding, and Hardware
CRC Press
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
Springer
Fundamentals of Digital Logic and Microcomputer Design
Wiley
Guide to FPGA Implementation of Arithmetic Functions: 149 (Lecture Notes in Electrical Engineering, 149)
Springer
Post-Silicon and Runtime Verification for Modern Processors
Springer
PLD Based Design with VHDL: RTL Design, Synthesis and Implementation
Springer
Digital Logic Design Using Verilog: Coding and RTL Synthesis
Springer
Design of Digital Systems and Devices: 79 (Lecture Notes in Electrical Engineering, 79)
Springer
Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD
Apress
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
Handbook of Floating-Point Arithmetic
Birkhauser
Formal Verification: An Essential Toolkit for Modern VLSI Design
Morgan Kaufmann