LEADER 01346nam--2200349---450-
001 990003076000203316
005 20080410125931.0
010   $a978-3-540-71388-3
035   $a000307600
035   $aUSA01000307600
035   $a(ALEPH)000307600USA01
035   $a000307600
100   $a20080306d2007----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFoundations of software science and computational structures$e10th International Conferene, FOSSACS 2007$eHeld as part of the joint european conferences on theory and practice of software, ETAPS 2007$eBraga, Portugal, March/April 2007$eproceedings$fHelmut Seidl (Ed.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXVI, 377 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v4423
410  0$12001$aLecture notes in computer science$v4423
702  1$aSEIDL,$bHelmut
710 12$aInternational conference FOSSACS 2007$d<10.;$f2007;$ePraga>$0600566
801  0$aITA$bsalbc$gISBD
912   $a990003076000203316
951   $a001 LNCS 4423$b34618/CBS$c001$d00217114
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080306$lUSA01$h1225
979   $aANGELA$b90$c20080410$lUSA01$h1259
996   $aFoundations of software science and computational structures$91023282
997   $aUNISA