LEADER 01191nam--2200361---45--
001 990003100780203316
005 20080428141735.0
010   $a978-3-540-78662-7
035   $a000310078
035   $aUSA01000310078
035   $a(ALEPH)000310078USA01
035   $a000310078
100   $a20080428d2008----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aTrustworthy global computing$ethird symposium, TGC 2007$eSophia-Antilopis, France, November 2007$erevised selected papers$fGilles Barthe, Cédric Fournet (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXI, 400 p.$cill.$d24 cm
225   $aLecture notes in computer science$v4912
410   $12001$aLecture notes in computer science$v4912
606 1 $aInformatica$xCongressi$ySophia-Antipolis$z2007
676   $a006.3
702  1$aBARTHE,$bGilles
702  1$aFOURNET,$bCédric
801  0$aITA$bsalbc$gISBD
912   $a990003100780203316
951   $a001 LNCS 4912$b36667/CBS$c001$d00217270
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080428$lUSA01$h1417
996   $aTrustworthy Global Computing$9771960
997   $aUNISA