£144.51

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

Price data last checked 42 day(s) ago - refreshing...

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.

£145 today · previous high £145 · all-time low £140

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

Historical
Generating forecast...
£144.51 £140.00 £140.98 £141.97 £142.95 £143.94 £144.92 14 March 2026 26 March 2026 07 April 2026 19 April 2026 01 May 2026

Price Distribution

Price distribution over 49 days • 3 price levels

Days at Price
Current Price
37 days 8 days 4 days · current 0 9 19 28 37 £140 £144 £145 Days at Price

Price Analysis

Most common price: £140 (37 days, 75.5%)

Price range: £140 - £145

Price levels: 3 different prices over 49 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
paperback
Domain
Amazon UK
Publication Date
02 November 2012
Listed Since
03 March 2013

Barcode

No barcode data available

Similar Products You Might Like

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994 (Workshops in Computing)
95% match

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994 (Workshops in Computing)

Springer

£44.59 05 May 2026
Object-Oriented Methods: A New Comprehensive Study: Volume 3
95% match

Object-Oriented Methods: A New Comprehensive Study: Volume 3

CREATESPACE

£108.90 01 May 2026
Object-oriented Programming Systems: Tools and Applications (UNICOM Applied Information Technology Series 10)
95% match

Object-oriented Programming Systems: Tools and Applications (UNICOM Applied Information Technology Series 10)

Cengage Learning EMEA

£71.99 03 Mar 2026
Management of the Object-oriented Development Process
95% match

Management of the Object-oriented Development Process

IGI Global

£80.52 26 Feb 2026
Inside the Object Model: The Sensible Use Of C++: 4 (SIGS: Advances in Object Technology, Series Number 4)
95% match

Inside the Object Model: The Sensible Use Of C++: 4 (SIGS: Advances in Object Technology, Series Number 4)

Cambridge University Press

£36.69 17 Mar 2026
Object-oriented Software for Manufacturing Systems (Intelligent Manufacturing S.)
95% match

Object-oriented Software for Manufacturing Systems (Intelligent Manufacturing S.)

Springer

£19.50 26 Feb 2026
A Student Guide to Object-Oriented Development
95% match

A Student Guide to Object-Oriented Development

Butterworth-Heinemann

£29.52 28 Apr 2026
Object-Oriented Modeling: 7 (Current Issues in Electronic Modeling, 7)
95% match

Object-Oriented Modeling: 7 (Current Issues in Electronic Modeling, 7)

Springer

£146.49 06 May 2026
Handbook of Object Technology
95% match

Handbook of Object Technology

CRC Press

£38.16 07 Mar 2026
Object-Oriented Modeling: 7 (Current Issues in Electronic Modeling, 7)
95% match

Object-Oriented Modeling: 7 (Current Issues in Electronic Modeling, 7)

Springer

£142.68 22 Jan 2026
Reliable Object-Oriented Software: Applying Analysis and Design: 11 (SIGS: Advances in Object Technology, Series Number 11)
95% match

Reliable Object-Oriented Software: Applying Analysis and Design: 11 (SIGS: Advances in Object Technology, Series Number 11)

Cambridge University Press

£45.50 08 Mar 2026
Object Oriented Programming: Simplified Approach using C++
95% match

Object Oriented Programming: Simplified Approach using C++

£55.91 06 Mar 2026
OOIS’ 95: 1995 International Conference on Object Oriented Information Systems, 18–20 December 1995, Dublin. Proceedings
94% match

OOIS’ 95: 1995 International Conference on Object Oriented Information Systems, 18–20 December 1995, Dublin. Proceedings

Springer

£75.13 01 Mar 2026
A Theory of Objects (Monographs in Computer Science)
94% match

A Theory of Objects (Monographs in Computer Science)

Springer

£165.32 23 Jan 2026
Object-Oriented Analysis, Design and Implementation: An Integrated Approach (Undergraduate Topics in Computer Science)
94% match

Object-Oriented Analysis, Design and Implementation: An Integrated Approach (Undergraduate Topics in Computer Science)

Springer

£45.90 24 Feb 2026
ECOOP '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings: 1241 (Lecture Notes in Computer Science, 1241)
94% match

ECOOP '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings: 1241 (Lecture Notes in Computer Science, 1241)

Springer

£44.62 14 May 2026
Object-Oriented Concepts, Databases, and Applications (Acm Press Frontier Series)
94% match

Object-Oriented Concepts, Databases, and Applications (Acm Press Frontier Series)

Addison Wesley

£38.02 02 May 2026
Business Object Design and Implementation: OOPSLA ’95 Workshop Proceedings 16 October 1995, Austin, Texas
94% match

Business Object Design and Implementation: OOPSLA ’95 Workshop Proceedings 16 October 1995, Austin, Texas

Springer

£81.98 22 Apr 2026
Object-Oriented Analysis and Design: Understanding System Development with UML 2.0
94% match

Object-Oriented Analysis and Design: Understanding System Development with UML 2.0

Wiley

£44.85 07 Mar 2026
Object-Oriented Technology. ECOOP '98 Workshop Reader: ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings: 1543 (Lecture Notes in Computer Science, 1543)
94% match

Object-Oriented Technology. ECOOP '98 Workshop Reader: ECOOP'98 Workshop, Demos, and Posters Brussels, Belgium, July 20-24, 1998 Proceedings: 1543 (Lecture Notes in Computer Science, 1543)

Springer

£44.88 12 Apr 2026
Building Object Applications that Work: Your Step-by-Step Handbook for Developing Robust Systems with Object Technology (SIGS: Managing Object Technology)
94% match

Building Object Applications that Work: Your Step-by-Step Handbook for Developing Robust Systems with Object Technology (SIGS: Managing Object Technology)

Cambridge University Press

£28.62 06 Mar 2026
Concepts of Object-Oriented Programming with Visual Basic
94% match

Concepts of Object-Oriented Programming with Visual Basic

Springer

£51.58 30 Apr 2026
Object Oriented Programming: Simplified Approach with Java Programming
94% match

Object Oriented Programming: Simplified Approach with Java Programming

£29.24 14 Feb 2026
Pearson Object Oriented Software Development Using Java
94% match

Pearson Object Oriented Software Development Using Java

PEARSON EDUCATION

£128.49 19 Apr 2026