LEADER 01418nam--2200409---450-
001 990003078250203316
005 20080423133609.0
010   $a978-3-540-73769-8
035   $a000307825
035   $aUSA01000307825
035   $a(ALEPH)000307825USA01
035   $a000307825
100   $a20080311d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aTests and proofs$eFirst international conference, TAP 2007$eZurich, Switzerland, February 12-13, 2007$eRevised papers$fYuri Gureevich, Bertrand Meyer (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aVIII, 216 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4454
410  0$12001$aLecture notes in computer science$v4454
606 0 $aIngegneria del software$xCongressi$yZurich$z2007
606 0 $aElaborazione dati$xCongressi$yZurih$z2007
676   $a005.14
702  1$aGUREVICH,$bYuri
702  1$aMEYER,$bBertrand
710 02$aInternational conference, TAP 2007$d<1.;$f2007;$eZurich>$0600637
801  0$aITA$bsalbc$gISBD
912   $a990003078250203316
951   $a001 LNCS 4454$b35225/CBS$c001$d00224677
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080311$lUSA01$h0914
979   $aANGELA$b90$c20080311$lUSA01$h0944
979   $aANGELA$b90$c20080423$lUSA01$h1336
996   $aTests and proofs$91023815
997   $aUNISA