01536nlm0 22004451i 450 9900092631704033219783642050893000926317FED01000926317(Aleph)000926317FED0100092631720100926d2009----km-y0itay50------baengDEdrnn-008mamaaFM 2009: Formal MethodsRisorsa elettronicaSecond World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsedited by Ana Cavalcanti, Dennis R. DamsBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435850Documento elettronicoTestoFormato html, pdfCavalcanti,AnaDams,Dennis R.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-05089-3EB990009263170403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFM 2009: Formal Methods773761UNINA