LEADER 01245nam--2200385---450-
001 990003074510203316
005 20080616125625.0
010   $a3-540-21002-4
035   $a000307451
035   $aUSA01000307451
035   $a(ALEPH)000307451USA01
035   $a000307451
100   $a20080305d2003----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aVerification$etheory and practice$eessays dedicated to Zohar Manna on the occasion of His 64th birthday$fNachum Dershowitz (ed.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2003
215   $aXV, 782 p.$cill.$d24cm
225 2 $aLecture Notes in Computer Science$iFestschrift$v2772
410  0$12001$aLecture Notes in Computer Science$v2772
606 0 $aSoftware per computer
676   $a005.1
702  1$aDERSHOWITZ,$bNachum
801  0$aIT$bsalbc$gISBD
912   $a990003074510203316
951   $a001 LNCS 2772$b30998/CBS$c001$d00114945
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080305$lUSA01$h0930
979   $aANGELA$b90$c20080417$lUSA01$h1542
979   $aANGELA$b90$c20080616$lUSA01$h1253
979   $aANGELA$b90$c20080616$lUSA01$h1256
996   $aVerification$91023384
997   $aUNISA