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

LEADER 01670nam0 22003851i 450 
001 VAN0021077
005 20230724025712.571
010   $a04-12-47140-X
100   $a20040802d1992       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aEnvironmental systems$ean introductory text$fIan D. White, D. N. Mottershead, Steven J. Harrison
205   $a2. ed
210   $aLondon$cChapman & Hall$d1992
215   $aX, 616 p.$cill.$d25 cm
620   $aGB$dLondon$3VANL000015
676   $a577$cEcologia$v22
700  1$aWhite$bIan D.$3VANV017343$077418
701  1$aHarrison$bSteven J.$3VANV017346$0729019
701  1$aMottershead$bDerek N.$3VANV017344$01372402
712   $aChapman & Hall <editore>$3VANV108038$4650
790  1$aWhite, I. D.$zWhite, Ian D.$3VANV101841
790  1$aWhite, I.D.$zWhite, Ian D.$3VANV216410
790  1$aHarrison, Steven John$zHarrison, Steven J.$3VANV054259
790  1$aHarrison, S. J.$zHarrison, Steven J.$3VANV101842
790  1$aHarrison, S.J.$zHarrison, Steven J.$3VANV216411
790  1$aMottershead, D.N.$zMottershead, Derek N.$3VANV216414
790  1$aMottershead, D. N.$zMottershead, Derek N.$3VANV216415
801   $aIT$bSOL$c20230915$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17
912   $aVAN0021077
950   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS      Ea28                                $e17FSA613               20040802            $sBuono
996   $aEnvironmental systems$93403058
997   $aUNICAMPANIA