Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Image 1

£54.24

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

Name: Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Brand: Cambridge University Press
Price: 54.24 GBP
Availability: InStock

illustrations

Information Systems

This is the usual price. Wait for it to drop, or tell us your number.

£54 today · usual range £49–£55 · best ever £49

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

Historical

Generating forecast...

Price Distribution

Price distribution over 65 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £54 (44 days, 67.7%)

Price range: £49 - £54

Price levels: 3 different prices over 65 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

Brand: Cambridge University Press
Model: illustrations
Format: hardcover
ASIN: 0521771846
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 22 October 2001
Listed Since: 12 January 2007

Barcode

No barcode data available

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

This is the usual price. Wait for it to drop, or tell us your number.

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

Real-Time Object-Oriented Modeling

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)

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

Handbook on Agent-Oriented Design Processes

Object-Oriented Analysis and Design with Applications (Addison-Wesley Object Technology Series)

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

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

Management of the Object-oriented Development Process

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

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

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)

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

Executable UML: A Foundation for Model-Driven Architecture

Springer Object-Oriented Behavioral Specifications 371

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

Object-Oriented Systems Analysis and Design Using UML

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

Practical Smalltalk: Using Smalltalk/V

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)