01632nlm0 22004571i 450 9900092534104033219783540688631000925341FED01000925341(Aleph)000925341FED0100092534120100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Open Object-Based Distributed SystemsRisorsa elettronica10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedingsedited by Gilles Barthe, Frank S. BoerBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435051Documento elettronicoTestoFormato html, pdfBarthe,GillesBoer,Frank S.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-68863-1EB990009253410403321Computer 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