LEADER 01406nam2-2200409---450-
001 990003131640203316
005 20080926120424.0
010   $a978-3-540-68084-0
035   $a000313164
035   $aUSA01000313164
035   $a(ALEPH)000313164USA01
035   $a000313164
100   $a20080724d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aTypes for proofs and programs$eInternational conference, TYPES 2007$eCividale del Friuli, Italy, may 2-5, 2007$erevised selected papers$fMarino Miculan, Ivan Scagnetto, Furio Honsell (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aVI, 202 p.$d24 cm
225 2 $aLecture notes in computer science$v4941
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$xCongressi$yCividale del Friuli$z2007
676   $a004
702  1$aMICULAN,$bMarino
702  1$aSCAGNETTO,$bIvan
702  1$aHONSELL,$bFurio
801  0$aIT$bsalbc$gISBD
912   $a990003131640203316
951   $a001 LNCS 4941$b37122/CBS$c001$d00217533
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080724$lUSA01$h1049
979   $aCBAS$b10$c20080724$lUSA01$h1050
979   $aANGELA$b90$c20080926$lUSA01$h1204
996   $aTypes for Proofs and Programs$9771867
997   $aUNISA