01635nlm0 22004571i 450 9900092388004033219783540348955000923880FED01000923880(Aleph)000923880FED0100092388020100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Open Object-Based Distributed SystemsRisorsa elettronica8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsedited by Roberto Gorrieri, Heike WehrheimBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434037Documento elettronicoTestoFormato html, pdfGorrieri,RobertoWehrheim,HeikeITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11768869EB990009238800403321Computer 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