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

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

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

Architecture & Microprocessors

Price History & Forecast

Last 57 days • 57 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 57 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £180 - £180

Price levels: 1 different prices over 57 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

Brand: Springer
Format: hardcover
ASIN: 0792379233
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 31 August 2000
Listed Since: 15 December 2006

Barcode

No barcode data available

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 History & Forecast

Price Distribution

Price Analysis

Description

Key Features

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

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)

Open Source Development, Communities and Quality: IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, ... and Communication Technology, 275)

Open Source Development, Communities and Quality: IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, ... and Communication Technology, 275)

Formal Techniques for Networked and Distributed Systems: FORTE 2001: 69 (IFIP Advances in Information and Communication Technology, 69)

Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and ... Information and Communication Technology, 15)

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology, 173)

Springer - Distributed Applications and Interoperable Systems II

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)

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

The Impact of Emerging Technologies on Computer Science and Operations Research: 4 (Operations Research/Computer Science Interfaces Series, 4)

Distributed Platforms: Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and ... in Information and Communication Technology)

Distributed Platforms: Proceedings of the IFIP/IEEE International Conference on Distributed Platforms: Client/Server and Beyond: DCE, CORBA, ODP and ... in Information and Communication Technology)

Springer Open IT-Based Innovation Conference Book

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)

Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems ... Information and Communication Technology, 91)

Springer Architecture and Design of Distributed Embedded Systems

Network Control and Engineering for QoS, Security and Mobility, V: IFIP 19th World Computer Congress,TC-6, 5th IFIP International Conference on ... and Communication Technology, 213)

Systems Development Methods for the Next Century: Proceedings of the Sixth International Conference on Information Systems Development - Methods and ... 11-47, 1997 (Physics of Atoms and Molecules)

Quality of Communication-Based Systems: Proceedings of an International Workshop Held at the TU, Berlin, Germany, September 1994

The Past and Future of Information Systems: 1976 -2006 and Beyond: IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21-23, ... and Communication Technology, 214)

Intelligent Distributed Computing IV: Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, ... (Studies in Computational Intelligence, 315)