02376nlm0 22006491i 450 9900092600204033219783642013645000926002FED01000926002(Aleph)000926002FED0100092600220100926d2009----km-y0itay50------baengDEdrnn-008mamaaWeb Services and Formal MethodsRisorsa elettronica5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papersedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Roberto Bruni, Karsten WolfBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435387Documento elettronicoTestoFormato html, pdfBruni,RobertoHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardWolf,KarstenITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-01364-5EB990009260020403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceInformation systemsInformation Systems Applications (incl.Internet)Logic designLogics and Meanings of ProgramsModels and PrinciplesSoftware engineeringSoftware EngineeringSystem Performance and EvaluationWeb Services and Formal Methods772379UNINA