LEADER 01373nam2-2200373---450-
001 990003415790203316
005 20100622105719.0
010   $a978-3-642-10451-0
035   $a000341579
035   $aUSA01000341579
035   $a(ALEPH)000341579USA01
035   $a000341579
100   $a20100622d2009----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aFormal methods: foundations and applications$e12th brazilian symposium on formal methods, SBMF 2009$eGramado, Brazil, august 19-21, 2009$erevised selected papers$fMarcel Vinìcius Medeiros Oliveira, Jim Woodcock (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aX, 349 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v5902
410  1$1001000314960$12001$aLecture notes in computer science
606 0 $aInformatica$xAtti di congressi$2BNCF
676   $a004
702  1$aOLIVEIRA,$bMarcel Vinìcius Medeiros
702  1$aWOODCOCK,$bJim
710 12$aBrazilian symposium on formal methods, SBMF 2009$d<12.;$eGramado$f2009>$0608053
801  0$aIT$bsalbc$gISBD
912   $a990003415790203316
951   $a001 LNCS 5902$b39018/CBS$c001$d00335481
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20100622$lUSA01$h1057
996   $aFormal methods: foundations and applications$91125270
997   $aUNISA