01575nlm0 22004331i 450 9900092384004033219783540320210000923840FED01000923840(Aleph)000923840FED0100092384020100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Mobile ComputingRisorsa elettronica5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced LecturesedBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433465Documento elettronicoTestoFormato html, pdfBernardo,MarcoBogliolo,AlessandroITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b135888EB990009238400403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Methods for Mobile Computing772649UNINA