LEADER 01409nam2-2200397---450-
001 990003140640203316
005 20080926165035.0
010   $a978-3-540-69147-1
035   $a000314064
035   $aUSA01000314064
035   $a(ALEPH)000314064USA01
035   $a000314064
100   $a20080908d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aVerified software: theories, tools, experiments$eFirst IFIP TC 2/WG 2.3 conference, VSTTE 2005$eZurich, Switzerland, october 10-13, 2005$fBertrand Meyer, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aXXIII, 546 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4171
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$xCongressi$yZurich$z2005
676   $a001
702  1$aMEYER,$bBertrand
702  1$aWOODCOCK,$bJim
710 12$aIFIP TC 2/WG 2.3 conference, VSTTE 2005$b<1.;$f2005;$eZurich>$0602008
801  0$aIT$bsalbc$gISBD
912   $a990003140640203316
951   $a001 LNCS 4171$b37253/CBS$c001$d00217602
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080908$lUSA01$h0906
979   $aANGELA$b90$c20080926$lUSA01$h1650
996   $aVerified software: theories, tools, experiments$91016407
997   $aUNISA