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 Methods773761UNINA02228oas 2200721 a 450 991022925140332120251105213014.02179-9067(DE-599)ZDB2614615-0(OCoLC)762030402(CONSER) 2012254549(CKB)2550000000030268(EXLCZ)99255000000003026820110601a20109999 uu porurmnu||||||||txtrdacontentcrdamediacrrdacarrierSustentabilidade em debateBrasília Universidade de Brasília, Centro de Desenvolvimento Sustentável2010-1 online resourceRefereed/Peer-reviewed2177-7675 "Publish original texts, based on interdisciplinary research, capable of having strong impact on studies conducted in the fields of sustainable development and policies of sustainability on a global scale."Sustainability in debateSustentabilidade DebateSustainable developmentPeriodicalsSustainabilityPeriodicalsDéveloppement durablePériodiquesDurabilité de l'environnementPériodiquesSustainabilityfast(OCoLC)fst01747391Sustainable developmentfast(OCoLC)fst01139731Periodicals.fastSustainable developmentSustainabilityDéveloppement durableDurabilité de l'environnementSustainability.Sustainable development.Universidade de Brasília.Centro de Desenvolvimento Sustentável.AU@AU@OCLCQCUVOCLCFCUSOCLCQOCLCOCUSOCLCAOCLCQVT2OCLCQLGGLIPLVTOCLCLOCLCQJOURNAL9910229251403321Sustentabilidade em debate2083235UNINA