01383nlm0 22003971i 450 9900092366704033219783540474623000923667FED01000923667(Aleph)000923667FED0100092366720100926d2006----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedingsedited by Zhiming Liu, Jifeng HeBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434260Documento elettronicoTestoFormato html, pdfHe,JifengLiu,ZhimingITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11901433EB990009236670403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA