02146nlm0 22005771i 450 9900092602304033219783642017025000926023FED01000926023(Aleph)000926023FED0100092602320100926d2009----km-y0itay50------baengDEdrnn-008mamaaHardware and Software: Verification and TestingRisorsa elettronica4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. 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, Hana Chockler, Alan J. HuBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435394Documento elettronicoTestoFormato html, pdfChockler,HanaHu,Alan J.Hutchison,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-01702-5EB990009260230403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringHardware and Software, Verification and Testing772242UNINA