LEADER 01343nam2-2200409---450-
001 990003128770203316
005 20080926115631.0
010   $a978-3-540-78916-1
035   $a000312877
035   $aUSA01000312877
035   $a(ALEPH)000312877USA01
035   $a000312877
100   $a20080715d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal methods and testing$ean outcome of the FORTEST Network$erevised selected papers$fRobert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXI, 366 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4949
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$xCongressi
676   $a004
702  1$aHIERONS,$bRobert M.
702  1$aBOWEN,$bJonathan P.
702  1$aHARMAN,$bMark
710 12$aFortest Network$f<2008>.$0601787
801  0$aIT$bsalbc$gISBD
912   $a990003128770203316
951   $a001 LNCS 4949$b36747/CBS$c001$d00217350
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080715$lUSA01$h1700
979   $aANGELA$b90$c20080926$lUSA01$h1156
996   $aFormal methods and testing$91017119
997   $aUNISA