£162.01

About as cheap as it gets — within 5% of the all-time low it hit 2 months ago.

£162 today · all-time low £160 (Sep 2026) · usually £162

Springer Deductive Program Design: 152 (NATO ASI Subseries F:, 152)

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 66 days · 66 data points (no recent data)

Historical
Generating forecast…
£166.80 £159.28 £160.92 £162.56 £164.20 £165.84 £167.48 12 August 2026 28 August 2026 13 September 2026 29 September 2026 16 October 2026
View at Amazon ↗

Price data last checked 25 day(s) ago - will refresh soon

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 66 days • 3 price levels

Days at Price
Current Price
29 days 10 days · current 27 days 0 7 15 22 29 £160 £162 £167 Days at Price

Price Analysis

Most common price: £160 (29 days, 43.9%)

Price range: £160 - £167

Price levels: 3 different prices over 66 days

Description

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
18 June 1996
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Analysis and Synthesis of Distributed Real-Time Embedded Systems
80% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.42 23 Oct 2026
Intelligent Decision Systems in Large-Scale Distributed Environments: 362 (Studies in Computational Intelligence, 362)
80% match

Intelligent Decision Systems in Large-Scale Distributed Environments: 362 (Studies in Computational Intelligence, 362)

Springer

£110.62 23 Oct 2026
Distributed Network Systems: From Concepts to Implementations: 15 (Network Theory and Applications, 15)
79% match

Distributed Network Systems: From Concepts to Implementations: 15 (Network Theory and Applications, 15)

Springer

£77.49 30 Oct 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
79% match

Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)

Springer

£109.43 23 Oct 2026
Parallel and Distributed Information Systems
79% match

Parallel and Distributed Information Systems

Springer

£73.07 21 Oct 2026
Scheduling in Distributed Computing Systems: Analysis, Design and Models
79% match

Scheduling in Distributed Computing Systems: Analysis, Design and Models

Springer

£110.27 27 Oct 2026
Computer- Aided Design in Power Engineering: Application of Software Tools
79% match

Computer- Aided Design in Power Engineering: Application of Software Tools

Springer

£88.21 24 Oct 2026
A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components
79% match

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

Springer

£76.42 16 Oct 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
79% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£84.99 26 Oct 2026
Stabilization of Distributed Parameter Systems: Design Methods and Applications: 2 (SEMA SIMAI Springer Series, 2)
79% match

Stabilization of Distributed Parameter Systems: Design Methods and Applications: 2 (SEMA SIMAI Springer Series, 2)

Springer

£121.12 24 Oct 2026
Distributed Impulsive Coordination of Multi-Agent Systems: 15 (Intelligent Control and Learning Systems, 15)
79% match

Distributed Impulsive Coordination of Multi-Agent Systems: 15 (Intelligent Control and Learning Systems, 15)

Springer

£77.79 12 Oct 2026
Digital Design and Implementation with Field Programmable Devices
79% match

Digital Design and Implementation with Field Programmable Devices

Springer

£113.93 23 Oct 2026
Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem (Human–Computer Interaction Series)
79% match

Distributed User Interfaces: Designing Interfaces for the Distributed Ecosystem (Human–Computer Interaction Series)

Springer

£127.69 21 Oct 2026
Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)
78% match

Computer Aided Design: Fundamentals and System Architectures (Symbolic Computation)

Springer

£76.42 24 Oct 2026
Distributed Simulation: A Model Driven Engineering Approach (Simulation Foundations, Methods and Applications)
78% match

Distributed Simulation: A Model Driven Engineering Approach (Simulation Foundations, Methods and Applications)

Springer

£68.52 27 Oct 2026
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)
78% match

A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits: 672 (The Springer International Series in Engineering and Computer Science, 672)

Springer

£109.36 26 Oct 2026
Numerical Simulation of Distributed Parameter Processes
78% match

Numerical Simulation of Distributed Parameter Processes

Springer

£76.42 21 Oct 2026
Distributed Intelligent Systems: A Coordination Perspective
78% match

Distributed Intelligent Systems: A Coordination Perspective

Springer

£75.00 22 Oct 2026
Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)
78% match

Formal Description Techniques VII (IFIP Advances in Information and Communication Technology)

Springer

£74.02 24 Oct 2026
Active System Control: Design of System Resilience
78% match

Active System Control: Design of System Resilience

Springer

£114.66 21 Oct 2026
Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
78% match

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems

Springer

£73.96 20 Oct 2026
Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)
78% match

Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)

Springer

£110.35 24 Oct 2026
Quality-Driven SystemC Design
78% match

Quality-Driven SystemC Design

Springer

£75.00 22 Oct 2026
Hardware-Software Co-Synthesis of Distributed Embedded Systems
78% match

Hardware-Software Co-Synthesis of Distributed Embedded Systems

Springer

£74.17 21 Oct 2026