LEADER 01538nam--2200397---450-
001 990001892760203316
005 20040802090536.0
010   $a3-540-20083-5
035   $a000189276
035   $aUSA01000189276
035   $a(ALEPH)000189276USA01
035   $a000189276
100   $a20040802d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aFormal methods for software architectures$ethird international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003$eBertinoro, Italy, September 22-27, 2003$eadvanced lectures$fMarco Bernardo, Paola Inverardi (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aVI, 285 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2804
410  0$12001$aLecture notes in computer science$v2804
454  1$12001
461  1$1001-------$12001
610 0 $aSoftware$aArchitetture del computer$aCongressi
676   $a005.3
702  1$aBERNARDO,$bMarco
702  1$aINVERARDI,$bPaola
710 12$aInternational School on Formal Methods for the Design of Computer Communication and Software Systems <3. ; 2003 ; Bertinoro, Italy>$0564933
801  0$aIT$bsalbc$gISBD
912   $a990001892760203316
951   $a001 LNCS 2804$b0030213/CBS$c001$d00114073
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040802$lUSA01$h0905
996   $aFormal methods for software architectures$9954152
997   $aUNISA