02348nlm0 22006251i 450 9900092576404033219783540881940000925764FED01000925764(Aleph)000925764FED0100092576420100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 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, Shaoying Liu, Tom Maibaum, Keijiro ArakiBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435256Documento elettronicoTestoFormato html, pdfAraki,KeijiroHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Liu,ShaoyingMaibaum,TomMattern,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-88194-0EB990009257640403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareMathematical Logic and Formal LanguagesModels and PrinciplesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA