01397nlm0 22003971i 450 9900092502604033219783540322504000925026FED01000925026(Aleph)000925026FED0100092502620100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedingsedited by Kung-Kiu Lau, Richard BanachBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433785Documento elettronicoTestoFormato html, pdfBanach,RichardLau,Kung-KiuITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11576280EB990009250260403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA