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) - Image 1

£150.06

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

Name: 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)
Brand: Springer
Price: 150.06 GBP
Availability: InStock

Architecture & Microprocessors

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

£150 today · previous high £150 · all-time low £149

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

Historical

Generating forecast…

Price Distribution

Price distribution over 76 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £150 (41 days, 53.9%)

Price range: £149 - £150

Price levels: 2 different prices over 76 days

Description

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated 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. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792384296
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 28 February 1999
Listed Since: 12 January 2007

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

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)

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)

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)

Management of the Object-oriented Development Process

Real-Time Object-Oriented Modeling

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

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

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

Functional and Object Oriented Analysis and Design: An Integrated Methodology

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

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)

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

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

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

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

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 Object-Oriented Behavioral Specifications 371

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

Object Oriented Analysis And Design A Complete Guide - 2021 Edition

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

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

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