£165.36

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

Price data checked 1 day 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.

£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 90 days • 90 data points

Historical
Generating forecast...
£165.36 £165.17 £165.21 £165.25 £165.30 £165.34 £165.38 18 February 2026 12 March 2026 03 April 2026 25 April 2026 18 May 2026

Price Distribution

Price distribution over 90 days • 1 price levels

Days at Price
90 days 0 23 45 68 90 £165 Days at Price

Price Analysis

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

Price range: £165 - £165

Price levels: 1 different prices over 90 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

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 18 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 18 May 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£108.93 18 May 2026
System Design: A Practical Guide with SpecC
78% match

System Design: A Practical Guide with SpecC

Springer

£111.86 18 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 18 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.92 11 May 2026
Specification and Verification of Multi-agent Systems
77% match

Specification and Verification of Multi-agent Systems

Springer

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

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

£107.35 18 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

£72.66 18 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 11 May 2026
Real-Time Object Uniform Design Methodology with UML
76% match

Real-Time Object Uniform Design Methodology with UML

Springer

£108.92 18 May 2026
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)
76% match

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)

Springer

£76.38 11 May 2026
Behavioral Specifications of Businesses and Systems: 523 (The Springer International Series in Engineering and Computer Science, 523)
76% match

Behavioral Specifications of Businesses and Systems: 523 (The Springer International Series in Engineering and Computer Science, 523)

Springer

£107.93 18 May 2026
Principles of Object-Oriented Modeling and Simulation with Modelica 2.1
76% match

Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

Wiley

£104.00 13 May 2026
Internet of Things Based on Smart Objects: Technology, Middleware and Applications
76% match

Internet of Things Based on Smart Objects: Technology, Middleware and Applications

Springer

£74.98 04 May 2026
Programming with Higher-Order Logic
76% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 18 May 2026
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
76% match

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Springer

£80.64 18 May 2026
High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)
75% match

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

Springer

£77.35 18 May 2026
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)
75% match

Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)

Springer

£70.20 18 May 2026
Design Patterns: Elements of Reusable Object-Oriented Software
75% match

Design Patterns: Elements of Reusable Object-Oriented Software

Prentice Hall

£42.95 18 May 2026