01589nlm0 22004571i 450 9900092468404033219783540372165000924684FED01000924684(Aleph)000924684FED0100092468420100926d2006----km-y0itay50------baengDEdrnn-008mamaaFM 2006: Formal MethodsRisorsa elettronica14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedingsedited by Jayadev Misra, Tobias Nipkow, Emil SekerinskiBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434085Documento elettronicoTestoFormato html, pdfMisra,JayadevNipkow,TobiasSekerinski,EmilITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11813040EB990009246840403321Computer scienceComputer ScienceInformation SystemsLogic designLogics and Meanings of ProgramsManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFM 2006: Formal Methods772051UNINA