LEADER 01467nam--2200397---450-
001 990003070900203316
005 20080411113120.0
010   $a3-540-46253-8
035   $a000307090
035   $aUSA01000307090
035   $a(ALEPH)000307090USA01
035   $a000307090
100   $a20080227d2006----km-y0itay50------ba
101   $aeng
102   $aDE
105   $ay---||||001yy
200 1 $aRefinement Techniques in Software Engineering$eFirst Pernambuco Summer School on Software Engineering, PSSE 2004$eRecife, Brazil, November 23-December 5, 2004$eRevised Lectures$fAna Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aX, 391 p.$d24 cm
225 2 $aLecture Notes in Computer Science$iTutorial$v3167
410  0$12001$aLecture Notes in Computer Science$v3167
606 0 $aIngegneria del software$xCongressi$yRecife$z2004
676   $a005.1
702  1$aCAVALCANTI,$bAna
702  1$aSAMPAIO,$bAugusto
702  1$aWOODCOCK,$bJim
710 02$aPernambuco Summer School on Software Engineering, PSSE 2004$d<1.;$f2004;$eRecife>$0600327
801  0$aITA$bsalbc$gISBD
912   $a990003070900203316
951   $a001 LNCS 3167$b34292/CBS$c001$d00224821
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080227$lUSA01$h0913
979   $aANGELA$b90$c20080411$lUSA01$h1131
996   $aRefinement Techniques in Software Engineering$91022889
997   $aUNISA