Code: 01558784

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer, Berlin
SKU: 01558784
Price: 51.62 EUR
Availability: InStock
Author: Elie Najm
ISBN: 9783540204916

by Elie Najm, Uwe Nestmann, Perdita Stevens

Language: English
Binding: Paperback
Number of pages: 340
Publisher: Springer, Berlin, 2003
More about this

51.62 €

RRP: 55.89 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Jerk from Jamaica
18.07 € -9 %
Buy
Pop-up City
48.38 €
Buy
Language of Fictional Television
211.05 €
Buy
grande libro dei tarocchi
23.23 € -9 %
Buy
The Metaphysical Theory of the State
7.87 € -7 %
Buy
EL CRIMEN DE LAS HERMANAS CRUZ
24.74 €
Buy
When Enough is Enough
21.61 € -9 %
Buy
Routledge Introduction to American War Literature
199.53 €
Buy
History Making in Central and Northern Eurasia
130.42 €
Buy
Biblioteca Escolar na Visao dos Estudantes do Curso Pedagogia UFAL
44.44 € -14 %
Buy
Game Theoretic Risk Analysis of Security Threats
150.83 € -9 %
Buy
History of the Decline and Fall of the Roman Empire
50 € -9 %
Buy
Guida di Enna per ragazzi
14.13 €
Buy
Geraldine's Husband. [A Novel.]
20.80 € -25 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Open Object-Based Distributed Systems

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.§The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.

Book details

Book category Books in English Computing & information technology Computer programming / software development Object-oriented programming (OOP)

51.62 €

Full title: Formal Methods for Open Object-Based Distributed Systems
Subtitle: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Author: Elie Najm, Uwe Nestmann, Perdita Stevens
Language: English
Binding: Paperback
Number of pages: 340
EAN: 9783540204916
ISBN: 3540204911
ID: 01558784
Publisher: Springer, Berlin
Weight: 499 g
Dimensions: 235 × 155 × 18 mm
Published: 2003