01567nlm0 22004331i 450 9900092634604033219783642103735000926346FED01000926346(Aleph)000926346FED0100092634620100926d2009----km-y0itay50------baengDEdrnn-008mamaaFormal Methods and Software EngineeringRisorsa elettronica11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedingsedited by Karin Breitman, Ana CavalcantiBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435885Documento elettronicoTestoFormato html, pdfBreitman,KarinCavalcanti,AnaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-10373-5EB990009263460403321Algorithm Analysis and Problem ComplexityComputer scienceComputer ScienceComputer softwareMathematical Logic and Formal LanguagesModels and PrinciplesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringFormal Methods and Software Engineering771999UNINA