£107.98

Springer Reasoning in Boolean Networks - Logic Synthesis Book

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£108 today · previous high £108 · all-time low £107

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 49 days • 49 data points (No recent data available)

Historical
Generating forecast...
£107.98 £107.38 £107.51 £107.64 £107.77 £107.90 £108.04 14 March 2026 26 March 2026 07 April 2026 19 April 2026 01 May 2026

Price Distribution

Price distribution over 49 days • 2 price levels

Days at Price
Current Price
43 days 6 days · current 0 11 22 32 43 £107 £108 Days at Price

Price Analysis

Most common price: £107 (43 days, 87.8%)

Price range: £107 - £108

Price levels: 2 different prices over 49 days

Description

Reasoning in Boolean Networks offers an in-depth look at recent research advances in algorithmic techniques for digital circuits. This volume from the Frontiers in Electronic Testing series provides a detailed treatment of logic synthesis, test generation, and formal verification. While Boolean reasoning has been a staple of two-level circuit theory for decades, this book introduces a basic reasoning methodology specifically for multi-level circuits. By approaching design automation problems through specific Boolean reasoning techniques, the text provides a unified view of both two-level and multi-level circuit structures. It is a technical resource for those studying the evolution of logic-level circuit automation and advanced testing methodologies.

Key Features

Covers recent research advances in algorithmic techniques for logic synthesis and formal verification of digital circuits.

Provides a detailed treatment of test generation methods used in electronic testing.

Introduces a basic reasoning methodology designed for multi-level circuits.

Offers a unified view of both two-level and multi-level circuit theory.

Part of the Frontiers in Electronic Testing series (Volume 9) published by Springer.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 December 2010
Listed Since
01 October 2010

Barcode

No barcode data available

Similar Products You Might Like

Springer - Advanced Techniques in Logic Synthesis Book
97% match

Springer - Advanced Techniques in Logic Synthesis Book

Springer

£111.36 28 Apr 2026
Test Pattern Generation using Boolean Proof Engines
97% match

Test Pattern Generation using Boolean Proof Engines

Springer

£69.40 31 Mar 2026
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
97% match

Boolean Circuit Rewiring: Bridging Logical and Physical Designs

Wiley

£75.06 05 Mar 2026
Logic Synthesis and Verification Algorithms
96% match

Logic Synthesis and Verification Algorithms

Springer

£62.45 10 Feb 2026
Lectures on Digital Design Principles (River Publishers Series in Electronic Materials, Circuits and Devices)
96% match

Lectures on Digital Design Principles (River Publishers Series in Electronic Materials, Circuits and Devices)

£87.44 08 Jan 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
96% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£65.88 11 Jan 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
96% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£174.29 12 Feb 2026
Computation Engineering: Applied Automata Theory and Logic
96% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 Feb 2026
Springer Binary Decision Diagrams and Applications for VLSI CAD
96% match

Springer Binary Decision Diagrams and Applications for VLSI CAD

Springer

£129.79 26 Apr 2026
Switching Theory for Logic Synthesis
96% match

Switching Theory for Logic Synthesis

Springer

£89.48 09 Feb 2026
Introduction to Logic Design
96% match

Introduction to Logic Design

CRC Press

£19.61 10 Jun 2026
Digital Electronics 1: Combinational Logic Circuits (Electronics Engineering)
96% match

Digital Electronics 1: Combinational Logic Circuits (Electronics Engineering)

Wiley

£106.86 13 Jan 2026
Springer - Switching Theory for Logic Synthesis Textbook
96% match

Springer - Switching Theory for Logic Synthesis Textbook

Springer

£113.63 23 Apr 2026
Springer Formal Equivalence Checking and Design Debugging
96% match

Springer Formal Equivalence Checking and Design Debugging

Springer

£131.35 01 May 2026
Fundamentals of Logic Design, Enhanced Edition
96% match

Fundamentals of Logic Design, Enhanced Edition

Cengage Learning

£64.99 10 Jun 2026
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
96% match

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

£76.14 08 Apr 2026
Springer - Boolean Reasoning: The Logic of Boolean Equations
96% match

Springer - Boolean Reasoning: The Logic of Boolean Equations

Springer

£117.98 01 May 2026
Assertion-Based Design
96% match

Assertion-Based Design

Springer

£78.46 03 Mar 2026
Formal Equivalence Checking and Design Debugging: 12 (Frontiers in Electronic Testing, 12)
96% match

Formal Equivalence Checking and Design Debugging: 12 (Frontiers in Electronic Testing, 12)

Springer

£139.52 23 Apr 2026
Boolean Models and Methods in Mathematics, Computer Science, and Engineering: 134 (Encyclopedia of Mathematics and its Applications, Series Number 134)
95% match

Boolean Models and Methods in Mathematics, Computer Science, and Engineering: 134 (Encyclopedia of Mathematics and its Applications, Series Number 134)

Cambridge University Press

£97.00 09 Mar 2026
Fundamentals of Logic Design
95% match

Fundamentals of Logic Design

Cengage Learning

£86.12 02 May 2026
Introduction to Logic Circuits & Logic Design with VHDL
95% match

Introduction to Logic Circuits & Logic Design with VHDL

£56.95 25 Jan 2026
Digital Design Techniques and Exercises: A Practice Book for Digital Logic Design
95% match

Digital Design Techniques and Exercises: A Practice Book for Digital Logic Design

Springer

£89.83 07 May 2026
Scalable Hardware Verification with Symbolic Simulation
95% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026