£65.81

Springer Formal Verification of Structurally Complex Multipliers

Price data last checked 31 day(s) ago - refreshing...

View at Amazon

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.

£66 today · cheaper than every other day in the last 3 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

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
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 53 days • 53 data points (No recent data available)

Historical
Generating forecast...
£71.47 £65.24 £66.60 £67.96 £69.32 £70.68 £72.04 01 March 2026 14 March 2026 27 March 2026 09 April 2026 22 April 2026

Price Distribution

Price distribution over 53 days • 4 price levels

Days at Price
Current Price
8 days · current 14 days 7 days 24 days 0 6 12 18 24 £66 £67 £70 £71 Days at Price

Price Analysis

Most common price: £71 (24 days, 45.3%)

Price range: £66 - £71

Price levels: 4 different prices over 53 days

Description

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
15 February 2023
Listed Since
30 November 2022

Barcode

No barcode data available

Similar Products You Might Like

Mehrfachregelungen. Grundlagen einer Systemtheorie: Zweiter Band
93% match

Mehrfachregelungen. Grundlagen einer Systemtheorie: Zweiter Band

Springer

£49.73 07 Apr 2026
Fundamentals of Parameterized Complexity (Texts in Computer Science)
93% match

Fundamentals of Parameterized Complexity (Texts in Computer Science)

Springer

£66.52 27 Apr 2026
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
93% match

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Springer

£71.99 31 Mar 2026
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)
93% match

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Springer

£77.14 08 Mar 2026
Commutative Algebra II: 29 (Graduate Texts in Mathematics, 29)
93% match

Commutative Algebra II: 29 (Graduate Texts in Mathematics, 29)

Springer

£79.22 02 May 2026
Computer Algebra and Symbolic Computation: Mathematical Methods
93% match

Computer Algebra and Symbolic Computation: Mathematical Methods

CRC Press

£90.30 08 Jan 2026
Constructive Analysis: 279 (Grundlehren der mathematischen Wissenschaften, 279)
93% match

Constructive Analysis: 279 (Grundlehren der mathematischen Wissenschaften, 279)

Springer

£100.88 10 Apr 2026
Multiplicative Invariant Theory: 135 (Encyclopaedia of Mathematical Sciences, 135)
93% match

Multiplicative Invariant Theory: 135 (Encyclopaedia of Mathematical Sciences, 135)

Springer

£77.80 12 Mar 2026
Multiplicative Ideal Theory and Factorization Theory: Commutative and Non-commutative Perspectives: 170 (Springer Proceedings in Mathematics & Statistics, 170)
93% match

Multiplicative Ideal Theory and Factorization Theory: Commutative and Non-commutative Perspectives: 170 (Springer Proceedings in Mathematics & Statistics, 170)

Springer

£121.47 10 Feb 2026
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
93% match

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)

Springer

£78.84 08 Mar 2026
Computational Algebra: 151 (Lecture Notes in Pure and Applied Mathematics)
93% match

Computational Algebra: 151 (Lecture Notes in Pure and Applied Mathematics)

Routledge

£233.73 10 Dec 2025
Elementry Algebra for School
93% match

Elementry Algebra for School

Arihant Publication India Limited

£41.99 30 Apr 2026
Children's Errors in Mathematics (Transforming Primary QTS Series)
93% match

Children's Errors in Mathematics (Transforming Primary QTS Series)

Learning Matters

£83.36 17 May 2026
Matrix Mathematics: Theory, Facts, and Formulas: Second Edition
93% match

Matrix Mathematics: Theory, Facts, and Formulas: Second Edition

Princeton University Press

£70.00 11 Apr 2026
Measures of Complexity: Festschrift for Alexey Chervonenkis
93% match

Measures of Complexity: Festschrift for Alexey Chervonenkis

Springer

£75.91 23 Apr 2026
Monomial Algebras (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
93% match

Monomial Algebras (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)

CRC Press

£170.00 11 Mar 2026
A = B
93% match

A = B

CRC Press

£60.89 08 Mar 2026
Monomial Algebras (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
93% match

Monomial Algebras (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)

CRC Press

£77.55 11 Mar 2026
A Guide Book to Mathematics: Fundamental Formulas · Tables · Graphs · Methods
93% match

A Guide Book to Mathematics: Fundamental Formulas · Tables · Graphs · Methods

Springer

£76.86 08 Jan 2026
Matrix Analysis and Entrywise Positivity Preservers: 471 (London Mathematical Society Lecture Note Series, Series Number 471)
93% match

Matrix Analysis and Entrywise Positivity Preservers: 471 (London Mathematical Society Lecture Note Series, Series Number 471)

Cambridge University Press

£64.87 07 Mar 2026
Universal Algebra for Computer Scientists: 25 (Monographs in Theoretical Computer Science. An EATCS Series, 25)
93% match

Universal Algebra for Computer Scientists: 25 (Monographs in Theoretical Computer Science. An EATCS Series, 25)

Springer

£74.06 16 Feb 2026
Creators of Mathematical and Computational Sciences
93% match

Creators of Mathematical and Computational Sciences

Springer

£66.36 01 May 2026
Springer - Radical Constructivism in Mathematics Education
93% match

Springer - Radical Constructivism in Mathematics Education

Springer

£111.13 30 Apr 2026
Fundamentals of Parameterized Complexity (Texts in Computer Science)
93% match

Fundamentals of Parameterized Complexity (Texts in Computer Science)

Springer

£88.97 18 Apr 2026