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

£149.64

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: 149.64 GBP
Availability: InStock

Architecture & Microprocessors

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

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

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

Historical

Generating forecast...

Price Distribution

Price distribution over 60 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £142 (18 days, 30.0%)

Price range: £133 - £150

Price levels: 5 different prices over 60 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: paperback
ASIN: 1475752660
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 17 January 2013
Listed Since: 07 November 2013

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: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 10)

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 V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 81)

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 Distributed Processing: A Survey of Object-Oriented Approaches

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ... (Lecture Notes in Computer Science, 2884)

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

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

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

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

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

Handbook on Agent-Oriented Design Processes

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)

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

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

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)

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

Transactions on Modularity and Composition I: 9800 (Lecture Notes in Computer Science, 9800)