Książka 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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.24
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2003
strony
340
EAN
9783540204916
ISBN
3540204911
Enbook ID
01558784
Waga
499
Wymiary
155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

Pop-up City

Jeroen Beekmans
199.11
824.85

When Enough is Enough

R J (Author) Berry
88.80
91.33

Jerk from Jamaica

Helen Willinsky
76.35

Klienci, którzy kupili tę książkę, kupili również

grande libro dei tarocchi

Roberto La Paglia
64.68

Guida di Enna per ragazzi

Lietta Valvo Grimaldi
55.04