Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003,
Type
Physical Book
Illustrated by
Publisher
Author
Year
2004
Language
English
Pages
340
Format
Paperback
Dimensions
23.4x15.6x1.9 cm
Weight
0.50 kg.
ISBN
3540204911
ISBN13
9783540204916
Categories

formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003,

Perdita Stevens (Illustrated by) · Elie Najm (Illustrated by) · Uwe Nestmann (Illustrated by) · Springer · Paperback

formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003, - Najm, Elie ; Nestmann, Uwe ; Stevens, Perdita

Cheaper New Book Imported to South Africa
Delivery: 19 Oct - 30 Oct Shipping: 12 to 16 business days.
R 990
Faster New Book Imported to South Africa
Delivery: 08 Oct - 16 Oct Shipping: 5 to 6 business days.
R 1,247
R 990

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "formal methods for open object-based distributed systems: 6th ifip wg 6.1 international conference, fmoods 2003, paris, france, november 19.21, 2003,"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews