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

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

(editor), (editor), (editor)
£69.99
Paperback 340 Pages / Published: 10/11/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19-21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: - formal methods; - distributed systems; - object-based technology. Such a convergence is representative of recent advances in the ?eld of distributed systems,andprovideslinksbetweenseveralscienti?candtechnologicalcommu- ties, as represented by the conferences FORTE/PSTV, CONCUR, and ECOOP. The objective of FMOODS is to provide an integrated forum for the p- sentation of research in the above-mentioned ?elds, and the exchange of ideas and experiences in the topics concerned with the formal methods support for open object-based distributed systems. For the call for papers, aspects of int- est of the considered systems included, but were not limited to: formal models; formal techniques for speci?cation, design or analysis; component-based design; veri?cation, testing and validation; semantics of programming, coordination, or modeling languages; type systems for programming, coordination or modelling languages; behavioral typing; multiple viewpoint modelling and consistency - tween di?erent models; transformations of models; integration of quality of s- vice requirements into formal models; formal models for security; and appli- tions and experience, carefully described.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540204916
Number of pages: 340
Weight: 1100 g
Dimensions: 233 x 155 x 18 mm
Edition: 2003 ed.

You may also be interested in...

C# 5.0 Pocket Reference
Added to basket
Programming in C#
Added to basket
£29.49
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Big Java
Added to basket
£46.99
Paperback
Practical Object-Oriented Design in Ruby
Added to basket
C# 2010 All-in-One For Dummies
Added to basket
Jumping Into C++
Added to basket
£22.00
Paperback
Head First C#
Added to basket
£43.99
Paperback
Java For Everyone
Added to basket
Beginning Java Google App Engine
Added to basket
C++ for Everyone
Added to basket
Programming in C
Added to basket
Java in Easy Steps
Added to basket
£10.99
Paperback
Getting Started with Arduino
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.