£77.33

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

Price data checked 2 days ago

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.

£77 today · previous high £77 · all-time low £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 89 days • 89 data points

Historical
Generating forecast...
£77.33 £77.18 £77.21 £77.24 £77.28 £77.31 £77.34 09 March 2026 31 March 2026 22 April 2026 14 May 2026 05 June 2026

Price Distribution

Price distribution over 89 days • 1 price levels

Days at Price
89 days 0 22 45 67 89 £77 Days at Price

Price Analysis

Most common price: £77 (89 days, 100.0%)

Price range: £77 - £77

Price levels: 1 different prices over 89 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.36 29 May 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

£39.06 01 Jun 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.10 28 May 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

£107.98 01 Jun 2026
Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)
79% match

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

Springer

£141.86 25 May 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

£107.98 01 Jun 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

£132.19 05 Jun 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 22 May 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

£80.77 31 May 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.50 19 May 2026
Machining with Abrasives
78% match

Machining with Abrasives

Springer

£111.21 19 May 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

£107.98 18 May 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

£107.98 02 Jun 2026
A Theory of Objects (Monographs in Computer Science)
78% match

A Theory of Objects (Monographs in Computer Science)

Springer

Out of Stock 06 Jun 2026
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

£72.77 23 May 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.57 18 May 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 16 May 2026
Advanced Ceramics (Advances in Material Research and Technology)
78% match

Advanced Ceramics (Advances in Material Research and Technology)

Springer

£115.87 01 Jun 2026
Collaborative Networks:Reference Modeling
78% match

Collaborative Networks:Reference Modeling

Springer

£82.75 01 Jun 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 21 May 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

£107.98 06 Jun 2026
Computational Issues in High Performance Software for Nonlinear Optimization
78% match

Computational Issues in High Performance Software for Nonlinear Optimization

Springer

£113.09 05 Jun 2026
Computational Issues in High Performance Software for Nonlinear Optimization
78% match

Computational Issues in High Performance Software for Nonlinear Optimization

Springer

£111.36 24 May 2026
Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications
78% match

Understanding and Using Rough Set Based Feature Selection: Concepts, Techniques and Applications

Springer

£80.92 05 Jun 2026