01662nlm0 22004571i 450 9900092409404033219783540729525000924094FED01000924094(Aleph)000924094FED0100092409420100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Open Object-Based Distributed SystemsRisorsa elettronica9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsedited by Marcello M. Bonsangue, Einar Broch JohnsenBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434468Documento elettronicoTestoFormato html, pdfBonsangue,Marcello M.Johnsen,Einar BrochITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-72952-5EB990009240940403321Computer 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