01578nlm0 22004571i 450 9900092531704033219783540682370000925317FED01000925317(Aleph)000925317FED0100092531720100926d2008----km-y0itay50------baengDEdrnn-008mamaaFM 2008: Formal MethodsRisorsa elettronica15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedingsedited by Jorge Cuellar, Tom Maibaum, Kaisa SereBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435014Documento elettronicoTestoFormato html, pdfCuellar,JorgeMaibaum,TomSere,KaisaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-68237-0EB990009253170403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFM 2008: Formal Methods774325UNINA