£77.49

Springer Refinement in Z and Object-Z: Foundations and Advanced Applications

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

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£77 today · all-time low £77 (Jun 2026) · usually £77

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 63 days · 63 data points (no recent data)

Historical
Generating forecast…
£77.59 £77.30 £77.37 £77.43 £77.49 £77.55 £77.62 07 June 2026 22 June 2026 08 July 2026 23 July 2026 08 August 2026

Price Distribution

Price distribution over 63 days • 1 price levels

Days at Price
63 days 0 16 32 47 63 £78 Days at Price

Price Analysis

Most common price: £78 (63 days, 100.0%)

Price range: £78 - £78

Price levels: 1 different prices over 63 days

Description

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
23 August 2015
Listed Since
25 August 2015

Barcode

No barcode data available

Similar Products You Might Like

The Object-Z Specification Language: 1 (Advances in Formal Methods, 1)
84% match

The Object-Z Specification Language: 1 (Advances in Formal Methods, 1)

Springer

£165.33 13 Aug 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
80% match

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Springer

£50.25 07 Aug 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
80% match

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Springer

£73.14 06 Aug 2026
Soft Computing in XML Data Management: Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision: 255 (Studies in Fuzziness and Soft Computing, 255)
80% match

Soft Computing in XML Data Management: Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision: 255 (Studies in Fuzziness and Soft Computing, 255)

Springer

£108.01 07 Aug 2026
Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)
79% match

Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)

Springer

£134.14 05 Aug 2026
Advances in Abrasive Based Machining and Finishing Processes (Materials Forming, Machining and Tribology)
79% match

Advances in Abrasive Based Machining and Finishing Processes (Materials Forming, Machining and Tribology)

Springer

£108.01 07 Aug 2026
Advanced Modeling and Optimization of Manufacturing Processes: International Research and Development (Springer Series in Advanced Manufacturing)
79% match

Advanced Modeling and Optimization of Manufacturing Processes: International Research and Development (Springer Series in Advanced Manufacturing)

Springer

£127.19 14 Aug 2026
Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)
79% match

Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)

Springer

£166.92 05 Aug 2026
Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)
79% match

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)

Springer

£81.54 06 Aug 2026
Modeling and Processing for Next-Generation Big-Data Technologies: With Applications and Case Studies: 4 (Modeling and Optimization in Science and Technologies, 4)
78% match

Modeling and Processing for Next-Generation Big-Data Technologies: With Applications and Case Studies: 4 (Modeling and Optimization in Science and Technologies, 4)

Springer

£113.67 14 Jul 2026
Data Engineering for Large Foundation Models: A Handbook
78% match

Data Engineering for Large Foundation Models: A Handbook

Springer

£169.99 08 Aug 2026
Finite Element Model Updating Using Computational Intelligence Techniques: Applications to Structural Dynamics
78% match

Finite Element Model Updating Using Computational Intelligence Techniques: Applications to Structural Dynamics

Springer

£107.98 04 Aug 2026
Machining with Abrasives
78% match

Machining with Abrasives

Springer

£108.01 04 Aug 2026
Machining Dynamics: Fundamentals, Applications and Practices (Springer Series in Advanced Manufacturing)
78% match

Machining Dynamics: Fundamentals, Applications and Practices (Springer Series in Advanced Manufacturing)

Springer

£108.01 04 Aug 2026
Object Recognition: Fundamentals and Case Studies (Advances in Computer Vision and Pattern Recognition)
78% match

Object Recognition: Fundamentals and Case Studies (Advances in Computer Vision and Pattern Recognition)

Springer

£108.01 07 Aug 2026
A Theory of Objects (Monographs in Computer Science)
78% match

A Theory of Objects (Monographs in Computer Science)

Springer

Price unavailable
Classification and Multivariate Analysis for Complex Data Structures (Studies in Classification, Data Analysis, and Knowledge Organization)
78% match

Classification and Multivariate Analysis for Complex Data Structures (Studies in Classification, Data Analysis, and Knowledge Organization)

Springer

£76.42 05 Aug 2026
Foundations of Heterogeneous Integration: An Industry-Based, 2.5D/3D Pathfinding and Co-Design Approach
78% match

Foundations of Heterogeneous Integration: An Industry-Based, 2.5D/3D Pathfinding and Co-Design Approach

Springer

£65.61 04 Aug 2026
Restarting Automata: The Standard Type of Restarting Automaton and Its Variants (Theory and Applications of Computability)
78% match

Restarting Automata: The Standard Type of Restarting Automaton and Its Variants (Theory and Applications of Computability)

Springer

£147.11 03 Aug 2026
Advanced Ceramics (Advances in Material Research and Technology)
78% match

Advanced Ceramics (Advances in Material Research and Technology)

Springer

£117.46 07 Aug 2026
Collaborative Networks:Reference Modeling
78% match

Collaborative Networks:Reference Modeling

Springer

£81.72 07 Aug 2026
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
78% match

Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Springer

£87.40 04 Aug 2026
Modeling of Material Damage and Failure of Structures: Theory and Applications (Foundations of Engineering Mechanics)
78% match

Modeling of Material Damage and Failure of Structures: Theory and Applications (Foundations of Engineering Mechanics)

Springer

£108.01 08 Aug 2026
Computational Issues in High Performance Software for Nonlinear Optimization
78% match

Computational Issues in High Performance Software for Nonlinear Optimization

Springer

£113.09 08 Aug 2026