02198nlm0 22006131i 450 9900092612204033219783642029493000926122FED01000926122(Aleph)000926122FED0100092612220100926d2009----km-y0itay50------baengDEdrnn-008mamaaTests and ProofsRisorsa elettronicaThird International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedingsedited 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, Catherine DuboisBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435668Documento elettronicoTestoFormato html, pdfDubois,CatherineHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02949-3EB990009261220403321Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceComputer system performanceComputers and SocietyLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringSystem Performance and EvaluationTests and Proofs772200UNINA