01534nam--2200385---450-99000307104020331620080411113806.03-540-25697-0000307104USA01000307104(ALEPH)000307104USA0100030710420080227d2005----km-y0itay50------baengDEa---||||001yyFormal Methods for Mobile Computing5th International School on Formal Methods for the design of computer, communication, and software systems SFM-Moby 2005Bertinoro, Italy, April 26-30, 2005advanced lecturesMarco Bernardo, Alessandro Bogliolo (eds.)Berlin [etc.]Springercopyr. 2005VI, 270 p.ill.24 cmLecture notes in computer scienceTutorial34652001Lecture notes in computer science3465Sistemi di comunicazione mobileCongressiBertinoro2005004.6BERNARDO,MarcoBOGLIOLO,AlessandroInternational school on formal methods for the design of computer, communication, and software systems SFM-Moby 2005<5.;2005;Bertinoro>600335ITsalbcISBD990003071040203316001 LNCS 346531905/CBS00100112521BKSCIANGELA9020080227USA011033ANGELA9020080411USA011138Formal Methods for Mobile Computing1022896UNISA