£179.99

Springer 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)

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£180 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast...
£179.99 £170.99 £174.59 £178.19 £181.79 £185.39 £188.99 11 March 2026 13 March 2026 16 March 2026 19 March 2026 22 March 2026

Price Distribution

Price distribution over 12 days • 1 price levels

Days at Price
12 days 0 3 6 9 12 £180 Days at Price

Price Analysis

Most common price: £180 (12 days, 100.0%)

Price range: £180 - £180

Price levels: 1 different prices over 12 days

Description

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Key Features

Used Book in Good Condition

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 August 2000
Listed Since
15 December 2006

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)
99% 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

£149.57 25 Jan 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)
98% 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.82 10 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
Real-Time Object-Oriented Modeling
95% match

Real-Time Object-Oriented Modeling

£65.00 27 Feb 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.51 07 Mar 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.62 17 Feb 2026
Object-Oriented Analysis, Design and Implementation: An Integrated Approach (Undergraduate Topics in Computer Science)
95% match

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

Springer

£45.90 24 Feb 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 06 Mar 2026
Object-Oriented Systems Analysis and Design Using UML
95% match

Object-Oriented Systems Analysis and Design Using UML

McGraw-Hill Education

£59.99 26 Jan 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
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)
95% 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 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

£72.67 08 Mar 2026
OCUP 2 Certification Guide: Preparing for the OMG Certified UML 2.5 Professional 2 Foundation Exam
95% match

OCUP 2 Certification Guide: Preparing for the OMG Certified UML 2.5 Professional 2 Foundation Exam

Morgan Kaufmann

£36.09 03 Mar 2026
Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)
95% match

Enterprise, Business-Process and Information Systems Modeling: 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, ... in Business Information Processing, 352)

Springer

£41.15 15 Apr 2026
Software Architectures and Component Technology: 648 (The Springer International Series in Engineering and Computer Science, 648)
95% match

Software Architectures and Component Technology: 648 (The Springer International Series in Engineering and Computer Science, 648)

Springer

£160.07 10 Mar 2026
Software Engineering with UML
95% match

Software Engineering with UML

CRC Press

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

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

Springer

£75.13 01 Mar 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)
95% 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

£142.06 01 Apr 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
95% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.02 20 Apr 2026
ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings: 3586 (Lecture Notes in Computer Science, 3586)
95% match

ECOOP 2005 - Object-Oriented Programming: 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings: 3586 (Lecture Notes in Computer Science, 3586)

Springer

£63.78 30 Mar 2026
Object-Oriented Analysis and Design: Understanding System Development with UML 2.0
95% match

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

Wiley

£44.85 07 Mar 2026
Software Engineering with UML
95% match

Software Engineering with UML

CRC Press

£108.42 14 Apr 2026
Advanced Object-Oriented Analysis & Design Using UML: 12 (SIGS Reference Library, Series Number 12)
95% match

Advanced Object-Oriented Analysis & Design Using UML: 12 (SIGS Reference Library, Series Number 12)

Cambridge University Press

£20.20 22 Feb 2026