LEADER 01313nam--2200373---45--
001 990001856680203316
005 20040716103544.0
010   $a3-540-40828-2
035   $a000185668
035   $aUSA01000185668
035   $a(ALEPH)000185668USA01
035   $a000185668
100   $a20040716d2003----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aFME 2003$eformal methods$eInternational simposium of formal metods europe$ePisa, Italy, September 8-14, 2003$eproceedings$fKeijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXVII, 942 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2805
410   $12001$aLecture notes in computer science$v2805
610 1 $aSoftware$aSviluppo$aCongressi$a203
702  1$aARAKI,$bKeijiro
702  1$aGNESI,$bStefania
702  1$aMANDRIOLI,$bDino$f<1949- >
710 12$aInternational symposium of formal methods europe <2003 ; Pisa, Italy>$0564420
801  0$aITA$bCBS$gISBD
912   $a990001856680203316
951   $a001 LNCS 2805$b0030248/CBS$c001$d00114025
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040716$lUSA01$h1035
979   $aANNAMARIA$b90$c20110418$lUSA01$h0944
996   $aFME 2003$9956064
997   $aUNISA