01431nlm0 22004211i 450 9900092375704033219783540322405000923757FED01000923757(Aleph)000923757FED0100092375720100926d2005----km-y0itay50------baengDEdrnn-008mamaaIntegrated Formal MethodsRisorsa elettronica5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsedited by Judi Romijn, Graeme Smith, Jaco PolBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433771Documento elettronicoTestoFormato html, pdfPol,JacoRomijn,JudiSmith,GraemeITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11589976EB990009237570403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringIntegrated Formal Methods772444UNINA