Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2003
Stránek
340
EAN
9783540204916
ISBN
3540204911
Enbook ID
01558784
Vydavatel
Hmotnost
499
Rozměry
155 x 235 x 18

Kompletní popis

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.

Mohlo by vás zajímat

Pop-up City

Jeroen Beekmans
1 138
4 712

When Enough is Enough

R J (Author) Berry
507

Jerk from Jamaica

Helen Willinsky
412

Zákaznicí kteří koupili tuto knihu koupili také

grande libro dei tarocchi

Roberto La Paglia
516

Guida di Enna per ragazzi

Lietta Valvo Grimaldi
332