LEADER 01490nam--2200385---450 
001 990001029240203316
005 20180312154700.0
010   $a3-540-42479-2
035   $a0102924
035   $aUSA010102924
035   $a(ALEPH)000102924USA01
035   $a0102924
100   $a20020312d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aLectures on formal methods and performance analysis$e1st EEF/Euro summer school on trends in computer science$eBerg en Dal, The Netherlands, July 3-7, 2000$erevised lectures$fEd Brinksma ... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aVI, 429 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2090
410   $12001$aLecture notes in computer science$v2090
610   $aElaborazione elettronica Metodi formali Congressi 2000
676   $a004.01
702  1$aBrinksma,$bEd
710 12$aEEF/Euro summer school on trends in computer science$eBerg en Dal, The Netherlands, July 3-7, 2001$erevised lectures$0553404
801  0$aITA$bCBS$gISBD
912   $a990001029240203316
951   $a001 LNCS (2090)$b0027191 CBS$c001$d00110941
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20020312$lUSA01$h1615
979   $c20020403$lUSA01$h1743
979   $aDIGIUSEPPE$b90$c20020423$lUSA01$h1404
979   $aPATRY$b90$c20040406$lUSA01$h1711
996   $aLectures on formal methods and performance analysis$9977069
997   $aUNISA