LEADER 01326nam--2200361---450-
001 990003076040203316
005 20080410130309.0
010   $a978-3-540-71997-7
035   $a000307604
035   $aUSA01000307604
035   $a(ALEPH)000307604USA01
035   $a000307604
100   $a20080306d2007----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aRecent trends in algebraic development techniques$e18th international workshop, WADT 2006$eLa Roche en Ardenne, Belgium, June 2006$erevised selected papers$fJosé Luiz Fiadeiro, Pierre-Yves-Schobbens (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $a170 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v4409
410  0$12001$aLecture notes in computer science$v4409
702  1$aFIADEIRO,$bJosé Luiz
702  1$aSCHOBBENS,$bPierre-Yves
710 12$aInternational workshop, WADT 2006$d<18.;$f2006;$eLa Roche en Ardenne>$0600568
801  0$aITA$bsalbc$gISBD
912   $a990003076040203316
951   $a001 LNCS 4409$b34900/CBS$c001$d00224966
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080306$lUSA01$h1241
979   $aANGELA$b90$c20080410$lUSA01$h1303
996   $aRecent trends in algebraic development techniques$91023286
997   $aUNISA