£62.56

This is the most expensive it has ever been. Walk away.

£63 today · previous high £63 · all-time low £54

Cambridge University Press Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 75 days · 75 data points (no recent data)

Historical
Generating forecast…
£62.56 £52.77 £54.91 £57.04 £59.18 £61.31 £63.45 25 July 2026 12 August 2026 31 August 2026 18 September 2026 07 October 2026
View at Amazon ↗

illustrations

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

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 Distribution

Price distribution over 75 days • 3 price levels

Days at Price
Current Price
21 days 52 days 2 days · current 0 13 26 39 52 £54 £55 £63 Days at Price

Price Analysis

Most common price: £55 (52 days, 69.3%)

Price range: £54 - £63

Price levels: 3 different prices over 75 days

Description

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
22 October 2001
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
97% match

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)

Springer

£179.99 26 Sep 2026
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
97% match

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)

Springer

£147.14 24 Aug 2026
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
97% match

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)

Springer

£146.23 04 Oct 2026
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)
96% match

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)

Springer

£150.62 24 Sep 2026
Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)
96% match

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)

Springer

£76.42 06 Oct 2026
Real-Time Object-Oriented Modeling
96% match

Real-Time Object-Oriented Modeling

£65.00 17 Sep 2026
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
96% match

Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)

Springer

£143.27 29 Sep 2026
Building Object Applications that Work: Your Step-by-Step Handbook for Developing Robust Systems with Object Technology (SIGS: Managing Object Technology)
95% 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 22 Sep 2026
Handbook on Agent-Oriented Design Processes
95% match

Handbook on Agent-Oriented Design Processes

Springer

£76.06 06 Oct 2026
Addison-Wesley Object-Oriented Analysis and Design Book
95% match

Addison-Wesley Object-Oriented Analysis and Design Book

PEARSON EDUCATION

£75.68 12 Oct 2026
Business Object Design and Implementation II: OOPSLA’96, OOPSLA’97 and OOPSLA’98 Workshop Proceedings
95% match

Business Object Design and Implementation II: OOPSLA’96, OOPSLA’97 and OOPSLA’98 Workshop Proceedings

Springer

£75.88 06 Oct 2026
OOIS’97: 1997 International Conference on Object Oriented Information Systems 10–12 November 1997, Brisbane Proceedings
95% match

OOIS’97: 1997 International Conference on Object Oriented Information Systems 10–12 November 1997, Brisbane Proceedings

Springer

£83.83 09 Sep 2026
Management of the Object-oriented Development Process
95% match

Management of the Object-oriented Development Process

IGI Global

£42.67 17 Sep 2026
Applications and Approaches to Object-Oriented Software Design: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC))
95% match

Applications and Approaches to Object-Oriented Software Design: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC))

IGI Global

£152.63 25 Sep 2026
Applications and Approaches to Object-Oriented Software Design: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
95% match

Applications and Approaches to Object-Oriented Software Design: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

IGI Global

£160.07 22 Aug 2026
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)
95% match

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)

Springer

£41.43 23 Sep 2026
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
95% match

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Information Science Reference

£60.26 06 Oct 2026
Executable UML: A Foundation for Model-Driven Architecture
95% match

Executable UML: A Foundation for Model-Driven Architecture

£40.56 30 Sep 2026
Object-Oriented Behavioral Specifications - Volume 371
95% match

Object-Oriented Behavioral Specifications - Volume 371

Springer

£110.44 03 Oct 2026
Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing (Chapman & Hall/Crc Innovations in Software Engineering and Software Development)
95% match

Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing (Chapman & Hall/Crc Innovations in Software Engineering and Software Development)

CRC Press

£82.42 23 Sep 2026
McGraw-Hill Object-Oriented Systems Analysis and Design UML
95% match

McGraw-Hill Object-Oriented Systems Analysis and Design UML

McGraw-Hill Education

£59.88 25 Aug 2026
Object-Oriented Methods: A New Comprehensive Study: Volume 3
95% match

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

CREATESPACE

£108.90 10 Oct 2026
Practical Smalltalk: Using Smalltalk/V
95% match

Practical Smalltalk: Using Smalltalk/V

Springer

£59.83 05 Oct 2026
On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Confederated International Conferences CoopIS, DOA, and ODBASE 2002 ... (Lecture Notes in Computer Science, 2519)
95% match

On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Confederated International Conferences CoopIS, DOA, and ODBASE 2002 ... (Lecture Notes in Computer Science, 2519)

Springer

£70.96 03 Oct 2026