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

£77.21

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

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

biography

AI & Machine Learning

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 84 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £77 (43 days, 51.2%)

Price range: £67 - £78

Price levels: 4 different prices over 84 days

Description

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Product Specifications

Brand: Springer
Model: biography
Format: paperback
ASIN: 1475752687
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Publication Date: 21 March 2013
Listed Since: 20 September 2013

Barcode

No barcode data available

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

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

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

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

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 Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International ... Information and Communication Technology, 6)

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)

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

Springer - Distributed Applications and Interoperable Systems II

Interoperable Database Systems (DS-5) (IFIP Transactions A: Computer Science and Technology)

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)

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)

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)

Springer Open IT-Based Innovation Conference Book

Enterprise Interoperability V: Shaping Enterprise Interoperability in the Future Internet: 6 (Proceedings of the I-ESA Conferences, 6)

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)

Multidisciplinary Research and Practice for Informations Systems: IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on ... (Lecture Notes in Computer Science, 7465)

Establishing the Foundation of Collaborative Networks: IFIP TC 5 Working Group 5.5 Eighth IFIP Working Conference on Virtual Enterprises September ... and Communication Technology, 243)

Wiley Enterprise Interoperability - IFIP Conference Proceedings