01577nlm0 22004571i 450 9900092421304033219783540388654000924213FED01000924213(Aleph)000924213FED0100092421320100926d2006----km-y0itay50------baengDEdrnn-008mamaaWeb Services and Formal MethodsRisorsa elettronicaThird International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsedited by Mario Bravetti, Manuel Núñez, Gianluigi ZavattaroBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434184Documento elettronicoTestoFormato html, pdfBravetti,MarioNunez,ManuelZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11841197EB990009242130403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceComputers and SocietyLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationWeb Services and Formal Methods772379UNINA