We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£110.63
Springer Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Price data last checked 15 day(s) ago - will refresh soon
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.
£111 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
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 76 days · 76 data points (no recent data)
Price Distribution
Price distribution over 76 days • 4 price levels
Price Analysis
Most common price: £115 (28 days, 36.8%)
Price range: £111 - £115
Price levels: 4 different prices over 76 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 3540558136
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 05 July 1993
- Listed Since
- 16 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Springer
Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)
Springer
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: 55 (NATO ASI Subseries F:, 55)
Springer
Specification and Verification of Multi-agent Systems
Springer
Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)
Springer
Deductive Program Design: 152 (NATO ASI Subseries F:, 152)
Springer
Logics for Computer Science: Classical and Non-Classical
Springer
Representation Theorems in Computer Science: A Treatment in Logic Engineering
Springer
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)
Springer
Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)
Springer
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
Springer
Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability: 132 (Studies in Fuzziness and Soft Computing, 132)
Springer
Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)
Springer
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21 (Mathematical Sciences Research Institute Publications, 21)
Springer
Boolean Constructions in Universal Algebras: 242 (Mathematics and Its Applications, 242)
Springer
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)
Springer
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Springer
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
Springer
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
Springer
Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)
Springer
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Springer
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)
Springer
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
Springer
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)
Springer