01551nlm0 22004331i 450 9900092474504033219783540766506000924745FED01000924745(Aleph)000924745FED0100092474520100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsedited by Michael Butler, Michael G. Hinchey, MarBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434789Documento elettronicoTestoFormato html, pdfButler,MichaelHinchey,Michael G.Larrondo-Petrie,María M.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-76650-6EB990009247450403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsModels and PrinciplesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA