01538nam--2200397---450-99000189276020331620040802090536.03-540-20083-5000189276USA01000189276(ALEPH)000189276USA0100018927620040802d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods for software architecturesthird international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003Bertinoro, Italy, September 22-27, 2003advanced lecturesMarco Bernardo, Paola Inverardi (Eds.)Berlin [etc.]Springercopyr. 2003VI, 285 p.ill.24 cm.Lecture notes in computer science28042001Lecture notes in computer science28042001001-------2001SoftwareArchitetture del computerCongressi005.3BERNARDO,MarcoINVERARDI,PaolaInternational School on Formal Methods for the Design of Computer Communication and Software Systems <3. ; 2003 ; Bertinoro, Italy>564933ITsalbcISBD990001892760203316001 LNCS 28040030213/CBS00100114073BKSCIRIVELLI9020040802USA010905Formal methods for software architectures954152UNISA