LEADER 01141nam--2200373---450- 001 990002961730203316 005 20070807183110.0 010 $a3-540-22265-0 035 $a000296173 035 $aUSA01000296173 035 $a(ALEPH)000296173USA01 035 $a000296173 100 $a20070807d2004----km-y0itay0103----ba 101 0 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aValidation of stochastic systems$ea guide to current research$fChristel Baier...[et al.] (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2004 215 $a384 p.$cill.$d24 cm. 225 2 $aLecture notes in computer science$v2925$iTutoral 410 0$12001$aLecture notes in computer science$v2925$iTutoral 454 1$12001 461 1$1001-------$12001 606 $aInformatica 676 $a005.1 700 1$aBAIER,$bChristel$0312039 801 0$aIT$bsalbc$gISBD 912 $a990002961730203316 951 $a001 LNCS 2925$b31014/CBS$c001 LNCS$d00215316 959 $aBK 969 $aSCI 979 $aSENATORE$b90$c20070807$lUSA01$h1831 996 $aValidation of stochastic systems$91026841 997 $aUNISA LEADER 01111cam--2200361---450 001 990002784680203316 005 20210929110354.0 035 $a000278468 035 $aUSA01000278468 035 $a(ALEPH)000278468USA01 035 $a000278468 100 $a20060719d1981----km-y0itay50------ba 101 1 $aita$cger 102 $aIT 105 $ay|||z|||001yy 200 1 $a<> ministro e il terrorista$econversazione fra Gerhart Baum e Horst Mahler$fprefazione di Giorgio Bocca 210 $aMilano$cRizzoli$d1981 215 $a165 p.$d22 cm 300 $aTraduzione di Lorenza Pampaloni 454 0$12001$a<> Minister und der Terrorist$917176 606 0 $aTerrorismo$yGermania 676 $a943 700 1$aBAUM,$bGerhart$0594139 701 1$aMAHLER,$bHorst$0541056 702 1$aBOCCA,$bGiorgio$f<1920-2011> 702 1$aPAMPALONI,$bLorenza 801 0$aIT$bsalbc$gISBD 912 $a990002784680203316 951 $aX.3.B. 3606$b178607 L.M.$cX.3.$d00125609 959 $aBK 969 $aUMA 996 $aMinister und der Terrorist$917176 997 $aUNISA