01640nlm0 22004571i 450 9900092498004033219783540315568000924980FED01000924980(Aleph)000924980FED0100092498020100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Open Object-Based Distributed SystemsRisorsa elettronica7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedingsedited by Martin Steffen, Gianluigi ZavattaroBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433535Documento elettronicoTestoFormato html, pdfSteffen,MartinZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b136996EB990009249800403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Methods for Open Object-Based Distributed Systems772204UNINA