02498nlm0 22006371i 450 9900092603704033219783642019180000926037FED01000926037(Aleph)000926037FED0100092603720100926d2009----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Web ServicesRisorsa elettronica9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lecturesedited 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, Marco Bernardo, Luca Padovani, Gianluigi ZavattaroBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435569Documento elettronicoTestoFormato html, pdfBernardo,MarcoHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPadovani,LucaPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-01918-0EB990009260370403321Computer network architecturesComputer scienceComputer ScienceComputer Systems Organization and Communication NetworksInformation systemsInformation Systems Applications (incl.Internet)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringSoftware Engineering/Programming and Operating SystemsFormal Methods for Web Services774173UNINA