LEADER 03616nam--2200853---450-
001 990001158490203316
005 20030702122757.0
010   $a3-540-43366-X
035   $a000115849
035   $aUSA01000115849
035   $a(ALEPH)000115849USA01
035   $a000115849
100   $a20021217d2002----km-y0itay0103----ba
101   $aENG
105   $a||||||||001yy
200 1 $aFoundations of software science and computation structures$e5th International conference, FOSSACS 2002$eHeld as part of the joint European conferences on theory and practice of software, ETAPS 2002$eGrenoble, France, April 8-12, 2002$eProceedings$fMogens Nielsen ... <et al.> (Eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr.2002
215   $aXIII,433 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2303
606   $aSoftware Congressi 2002
676   $a005.1
702   $aNielsen$bMogens
710   $aInternational conference, FOSSACS 2002 < 5 ; 2002 ; Grenoble France >$0555336
801  0$aIT$bCBS$gISBD
912   $a990001158490203316
951   $a001 LNCS (2303)$b0026855 CBS$c001$d00111917
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030310$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030530$lUSA01$h1247
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1655
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1657
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1536
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1541
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1543
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1156
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1159
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1205
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1316
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1332
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1339
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1345
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1354
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1358
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1401
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1126
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1131
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1135
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1149
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1210
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1226
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1232
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1237
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1244
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1250
979   $aDIGIUSEPPE$b90$c20030624$lUSA01$h1614
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1138
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1144
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1151
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1319
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1326
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1359
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1417
979   $aDIGIUSEPPE$b90$c20030626$lUSA01$h1147
979   $aDIGIUSEPPE$b90$c20030626$lUSA01$h1152
979   $aDIGIUSEPPE$b90$c20030626$lUSA01$h1158
979   $aDIGIUSEPPE$b90$c20030702$lUSA01$h1227
979   $aPATRY$b90$c20040406$lUSA01$h1721
996   $aFoundations of software science and computation structures$9983759
997   $aUNISA