LEADER 01269nam2-2200373li-450-
001 990003000050203316
005 20071025132310.0
010   $a3-540-27882-6
035   $a000300005
035   $aUSA01000300005
035   $a(ALEPH)000300005USA01
035   $a000300005
100   $a20071025d2005----km-y0itay50------ba20001109d1991999-km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFM 2006: formal methods$eInternational Symposium on Formal Methods Europe$eNewcastle, UK, July 18-22, 2005$eproceedings$fJohn Fitzgerald...[et al.](eds.)
210   $aBerlin[etc.]$cSpringer$d[c2005]
215   $aXIV, 558 p.$d24 cm
225 2 $aLecture notes in computer science$v3582
410  0$12001$aLecture notes in computer science$v3582
454  1$12001
461  0$1001$12001
606 0 $aElaborazione Elettronica$xCongressi$yHamilton$z2006
676   $a005.74
702  1$aFITZGERALD,$bJohn
712 12$aInternational Symposium on Formal Methods$f<2005 ;$eNewcastle>
912   $a990003000050203316
951   $a001 LNCS 3582$b32203/CBS$c001$d00112689
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20071025$lUSA01$h1323
996   $aFM 2006: Formal Methods$9772051
997   $aUNISA