01556nlm0 22004451i 450 9900092557404033219783540792307000925574FED01000925574(Aleph)000925574FED0100092557420100926d2008----km-y0itay50------baengDEdrnn-008mamaaWeb Services and Formal MethodsRisorsa elettronica4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedingsedited by Marlon Dumas, Reiko HeckelBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434937Documento elettronicoTestoFormato html, pdfDumas,MarlonHeckel,ReikoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-79230-7EB990009255740403321Computer Communication NetworksComputer Communication NetworksComputer ScienceComputer system performanceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationWeb Services and Formal Methods772379UNINA