£165.33

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

Price data checked 6 days ago

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 1 month ago.

£165 today · all-time low £159 (Jul 2026) · usually £163

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

Historical
Generating forecast…
£165.36 £158.01 £159.62 £161.22 £162.82 £164.42 £166.03 21 May 2026 11 June 2026 02 July 2026 23 July 2026 13 August 2026

Price Distribution

Price distribution over 85 days • 3 price levels

Days at Price
Current Price
10 days 11 days 64 days · current 0 16 32 48 64 £159 £163 £165 Days at Price

Price Analysis

Most common price: £165 (64 days, 75.3%)

Price range: £159 - £165

Price levels: 3 different prices over 85 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

Price unavailable
Refinement in Z and Object-Z: Foundations and Advanced Applications
84% match

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

Springer

£77.49 08 Aug 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

£199.99 07 Aug 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

£110.72 08 Aug 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 06 Aug 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

£74.46 04 Aug 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 03 Aug 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

£166.51 04 Aug 2026
Variational Object-Oriented Programming Beyond Classes and Inheritance: 470 (The Springer International Series in Engineering and Computer Science, 470)
79% match

Variational Object-Oriented Programming Beyond Classes and Inheritance: 470 (The Springer International Series in Engineering and Computer Science, 470)

Springer

£113.76 22 Jun 2026
On Object-Oriented Database Systems (Topics in Information Systems)
79% match

On Object-Oriented Database Systems (Topics in Information Systems)

Springer

£78.01 29 Jul 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

£108.01 06 Aug 2026
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
78% match

The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))

Springer

£44.00 21 Jun 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£112.91 05 Aug 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£109.97 05 Aug 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 05 Aug 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

£74.61 04 Aug 2026
Specification and Verification of Multi-agent Systems
77% match

Specification and Verification of Multi-agent Systems

Springer

£108.01 05 Aug 2026
Protocol Specification and Testing
77% match

Protocol Specification and Testing

Springer

£77.89 29 Jun 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

£108.01 08 Aug 2026
Hands-On Object-Oriented Programming: Mastering OOP Features for Real-World Software Systems Development
77% match

Hands-On Object-Oriented Programming: Mastering OOP Features for Real-World Software Systems Development

Apress

£18.70 29 Jul 2026
Practical OCaml
77% match

Practical OCaml

Apress

£40.11 07 Aug 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

£109.82 05 Aug 2026
A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components
77% match

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

Springer

£76.42 29 Jul 2026
Oberon-2 Programming with Windows
77% match

Oberon-2 Programming with Windows

Springer

£77.10 08 Aug 2026