Carte Formal Methods for Open Object-Based Distributed Systems Elie Najm

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.38 lei
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2003
Pagini
340
EAN
9783540204916
ISBN
3540204911
Enbook ID
01558784
Greutate
499
Dimensiuni
155 x 235 x 18

Descriere completă

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.

S-ar putea să te intereseze

Pop-up City

Jeroen Beekmans
247.05 lei
1 077.00 lei

When Enough is Enough

R J (Author) Berry
110.12 lei
120.23 lei

Jerk from Jamaica

Helen Willinsky
100.00 lei

Clienții care au cumpărat această carte au mai cumpărat și

grande libro dei tarocchi

Roberto La Paglia
84.43 lei

Guida di Enna per ragazzi

Lietta Valvo Grimaldi
71.79 lei