02310nlm0 22006371i 450 9900092581804033219783540892472000925818FED01000925818(Aleph)000925818FED0100092581820100926d2008----km-y0itay50------baengDEdrnn-008mamaaRuntime VerificationRisorsa elettronica8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. 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, Martin LeuckerBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435289Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Leucker,MartinMattern,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-540-89247-2EB990009258180403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareComputer system performanceLogic designLogics and Meanings of ProgramsOperating systems (Computers)Performance and ReliabilityProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSystem Performance and EvaluationRuntime Verification772115UNINA