LEADER 01534nam--2200385---450-
001 990003071040203316
005 20080411113806.0
010   $a3-540-25697-0
035   $a000307104
035   $aUSA01000307104
035   $a(ALEPH)000307104USA01
035   $a000307104
100   $a20080227d2005----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal Methods for Mobile Computing$e5th International School on Formal Methods for the design of computer, communication, and software systems SFM-Moby 2005$eBertinoro, Italy, April 26-30, 2005$eadvanced lectures$fMarco Bernardo, Alessandro Bogliolo (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2005
215   $aVI, 270 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iTutorial$v3465
410  0$12001$aLecture notes in computer science$v3465
606 0 $aSistemi di comunicazione mobile$xCongressi$yBertinoro$z2005
676   $a004.6
702  1$aBERNARDO,$bMarco
702  1$aBOGLIOLO,$bAlessandro
710 02$aInternational school on formal methods for the design of computer, communication, and software systems SFM-Moby 2005$d<5.;$f2005;$eBertinoro>$0600335
801  0$aIT$bsalbc$gISBD
912   $a990003071040203316
951   $a001 LNCS 3465$b31905/CBS$c001$d00112521
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080227$lUSA01$h1033
979   $aANGELA$b90$c20080411$lUSA01$h1138
996   $aFormal Methods for Mobile Computing$91022896
997   $aUNISA