LEADER 01433nam2-2200409li-450-
001 990003128810203316
005 20080926115403.0
010   $a978-3-540-68235-6
035   $a000312881
035   $aUSA01000312881
035   $a(ALEPH)000312881USA01
035   $a000312881
100   $a20080716d2008----km-y0itay50------ba20001109d1991999-km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFM 2008: formal methods$e15th International Symposium on Formal Methods$eTurku, Finland, May 2008$eproceedings$fJorge Cuellar, Tom Maibaum, Kaisa Sere...[et al.](eds.)
210   $aBerlin[etc.]$cSpringer$dcopyr. 2008
215   $aXIII, 436 p.$d24 cm
225 2 $aLecture notes in computer science$v5014
410  0$12001$aLecture notes in computer science
454  1$12001
461  0$1001000314960$12001$aLecture notes in computer science
606 0 $aElaborazione Elettronica$xCongressi$yTurku$z2008
676   $a005.74
702  1$aCUELLAR,$bJorge
702  1$aMAIBAUM,$bTom
702  1$aSERE,$bKaisa
712 12$aInternational Symposium on Formal Methods$d<15. ;$f2008 ;$eTurku>
912   $a990003128810203316
951   $a001 LNCS 5014$b36860/CBS$d00217439$c001
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080716$lUSA01$h0946
979   $aANGELA$b90$c20080926$lUSA01$h1154
996   $aFM 2008: Formal Methods$9774325
997   $aUNISA