LEADER 01494nam2-2200397---450-
001 990003147180203316
005 20080929101348.0
010   $a978-3-540-72482-7
035   $a000314718
035   $aUSA01000314718
035   $a(ALEPH)000314718USA01
035   $a000314718
100   $a20080919d2007----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal methods for performance evaluation$e7th international school on formal methods for the design of computer, communication and software systems, SFM 2007$eBertinoro, Italy, May 28-June 2, 2007$eproceedings$fMarco Bernardo, Jane Hillston (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aVI, 467 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$iTutorial$v4486
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aSistemi di comunicazione digitale$xCongressi$yBertinoro$z2007
606 0 $aElaboratori elettronici$xCongressi$yBertinoro$z2007
676   $a621.382
702  1$aBERNARDO,$bMarco
702  1$aHILLSTON,$bJane
801  0$aIT$bsalbc$gISBD
912   $a990003147180203316
951   $a001 LNCS 4486$b35038/CBS$c001$d00215156
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080919$lUSA01$h1011
979   $aCBAS$b10$c20080929$lUSA01$h1013
996   $aFormal Methods for Performance Evaluation$9772734
997   $aUNISA