£68.57

It has never been this cheap. We have no record of a lower price.

£69 today · cheaper than every other day in the last 3 months

Springer Computation Engineering: Applied Automata Theory and Logic

View at Amazon

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)

Historical
Generating forecast…
£68.66 £68.56 £68.58 £68.60 £68.63 £68.65 £68.67 25 July 2026 06 August 2026 18 August 2026 30 August 2026 11 September 2026
View at Amazon ↗

Price data last checked 42 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

↑ 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 Distribution

Price distribution over 49 days • 1 price levels

Days at Price
49 days 0 12 25 37 49 £69 Days at Price

Price Analysis

Most common price: £69 (49 days, 100.0%)

Price range: £69 - £69

Price levels: 1 different prices over 49 days

Description

Although it is critical in today’s world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. By providing a blend of theory and practical applications the material is presented as both inviting and current. Key concepts are illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together.

Product Specifications

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

Barcode

No barcode data available

Similar Products You Might Like

MODERN APPLICATIONS OF AUTOMATA THEORY: 2 (IISC RESEARCH MONOGRAPHS SERIES)
97% match

MODERN APPLICATIONS OF AUTOMATA THEORY: 2 (IISC RESEARCH MONOGRAPHS SERIES)

World Scientific Publishing Company

£115.94 17 Oct 2026
Computation Engineering: Applied Automata Theory and Logic
96% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£30.51 13 Sep 2026
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)
96% match

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Springer

£124.36 01 Oct 2026
Theory of Computation: Automata, Formal Languages, Computation and Complexity
96% match

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer

£88.21 08 Sep 2026
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
96% match

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)

Princeton University Press

£99.00 30 Sep 2026
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)
96% match

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)

Springer

£85.66 24 Sep 2026
Automata and Computability (Undergraduate Texts in Computer Science)
96% match

Automata and Computability (Undergraduate Texts in Computer Science)

Springer

£43.32 04 Sep 2026
Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
96% match

Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

Elsevier

£64.99 30 Sep 2026
The Unknown Component Problem: Theory and Applications
96% match

The Unknown Component Problem: Theory and Applications

Springer

£95.97 14 Aug 2026
Mathematical Foundations of Computer Science
96% match

Mathematical Foundations of Computer Science

Chapman and Hall/CRC

£46.50 27 Aug 2026
Advances in Verification of Time Petri Nets - Springer
96% match

Advances in Verification of Time Petri Nets - Springer

Springer

£110.00 06 Oct 2026
Springer Automata and Computability - Theory Textbook
96% match

Springer Automata and Computability - Theory Textbook

Springer

£60.52 15 Aug 2026
Logic and Language Models for Computer Science: Third Edition
96% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.57 01 Oct 2026
Logic Synthesis for Control Automata - Springer Guide
96% match

Logic Synthesis for Control Automata - Springer Guide

Springer

£116.70 05 Oct 2026
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
96% match

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

Springer

£42.33 14 Oct 2026
Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)
96% match

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Springer

£47.12 08 Sep 2026
Higher Order Logic Theorem Proving - IFIP Workshop Proceedings 1992
96% match

Higher Order Logic Theorem Proving - IFIP Workshop Proceedings 1992

Elsevier

£120.00 06 Aug 2026
Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)
96% match

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Springer

£230.73 14 Aug 2026
Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)
96% match

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)

Springer

£213.67 12 Aug 2026
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
96% match

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Springer

£87.52 18 Sep 2026
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
96% match

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Birkhauser

£83.48 17 Sep 2026
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
96% match

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Springer

£109.82 01 Oct 2026
Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)
96% match

Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)

Springer

£59.99 01 Oct 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
96% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£100.69 24 Sep 2026