01403nam--2200397---450-99000299450020331620071019135606.03-540-26181-8000299450USA01000299450(ALEPH)000299450USA0100029945020071019d2005----km-y0itay0103----baengDEa|||||||001yyFormal methods for open object-based distributed systems7th IFIP WG 6.1 international conference, FMOODS 2005Athens, Greece, June 2005ProceedingsMartin Steffen, Gianluigi Zavattaro(Eds.)Berlin [etc.]Springer[c2005]X, 321 p.ill.24 cm.Lecture notes in computer science35352001Lecture notes in computer science35352001001-------2001Programmazione orientata oggettiCongressiAthens2005005.131STEFFEN,MartinZAVATTARO,GianluigiInternational conference, FMOODS 2005<7. ;2005 ;Atene>598833ITsalbcISBD990002994500203316001 LNCS 353532072/CBS00100112597BKSCISENATORE9020071019USA011356Formal methods for open object-based distributed systems1029032UNISA