£165.36

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

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

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.

£165 today · previous high £165 · all-time low £165

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 68 days • 68 data points (No recent data available)

Historical
Generating forecast...
£165.36 £165.18 £165.22 £165.26 £165.30 £165.34 £165.38 05 April 2026 21 April 2026 08 May 2026 25 May 2026 11 June 2026

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price
68 days 0 17 34 51 68 £165 Days at Price

Price Analysis

Most common price: £165 (68 days, 100.0%)

Price range: £165 - £165

Price levels: 1 different prices over 68 days

Description

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 December 1999
Listed Since
15 February 2007

Barcode

No barcode data available

Similar Products You Might Like

A Theory of Objects (Monographs in Computer Science)
84% match

A Theory of Objects (Monographs in Computer Science)

Springer

Out of Stock 15 Jun 2026
Refinement in Z and Object-Z: Foundations and Advanced Applications
84% match

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

Springer

£77.33 05 Jun 2026
Objects for Concurrent Constraint Programming: 426 (The Springer International Series in Engineering and Computer Science)
82% match

Objects for Concurrent Constraint Programming: 426 (The Springer International Series in Engineering and Computer Science)

Springer

£129.99 31 May 2026
Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)
81% match

Object-Oriented Behavioral Specifications: 371 (The Springer International Series in Engineering and Computer Science, 371)

Springer

£109.65 04 Jun 2026
Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)
81% match

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Springer

£129.99 30 May 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
80% match

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Springer

£73.16 18 May 2026
Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)
80% match

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Springer

£65.50 17 May 2026
Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)
79% match

Formal Methods for Open Object-based Distributed Systems: Volume 1 (IFIP Advances in Information and Communication Technology)

Springer

£156.00 18 May 2026
Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
78% match

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Springer

£107.98 27 May 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£111.83 26 May 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£108.01 25 May 2026
Reverse Engineering of Object Oriented Code (Monographs in Computer Science)
77% match

Reverse Engineering of Object Oriented Code (Monographs in Computer Science)

Springer

£75.68 26 May 2026
Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)
77% match

Advanced Debugging Methods: 568 (The Springer International Series in Engineering and Computer Science, 568)

Springer

£73.31 21 May 2026
Specification and Verification of Multi-agent Systems
77% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 25 May 2026
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
77% match

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£107.98 05 Jun 2026
Practical OCaml
77% match

Practical OCaml

Apress

£48.12 01 Jun 2026
Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)
77% match

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

Springer

£108.76 25 May 2026
A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components
77% match

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

Springer

£75.98 08 Jun 2026
Oberon-2 Programming with Windows
77% match

Oberon-2 Programming with Windows

Springer

£74.22 06 Jun 2026
Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction (Series in Computer Science)
77% match

Object-Oriented Discrete-Event Simulation with Java: A Practical Introduction (Series in Computer Science)

Springer

£108.23 01 Jun 2026
Specifying Software: A Hands-On Introduction
77% match

Specifying Software: A Hands-On Introduction

Cambridge University Press

£42.00 31 May 2026
Mathematical Modeling and Optimization: An Essay for the Design of Computer-Based Modeling Tools: 31 (Applied Optimization, 31)
76% match

Mathematical Modeling and Optimization: An Essay for the Design of Computer-Based Modeling Tools: 31 (Applied Optimization, 31)

Springer

£73.03 29 May 2026
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL’06
76% match

Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL’06

Springer

£107.98 21 May 2026
Programming Language Concepts (Undergraduate Topics in Computer Science)
76% match

Programming Language Concepts (Undergraduate Topics in Computer Science)

Springer

£37.91 06 Jun 2026