04032nam 22008415 450 99646594180331620201028133432.03-642-25032-710.1007/978-3-642-25032-3(CKB)3400000000024064(SSID)ssj0000609742(PQKBManifestationID)11350054(PQKBTitleCode)TC0000609742(PQKBWorkID)10623272(PQKB)11512963(DE-He213)978-3-642-25032-3(MiAaPQ)EBC6306621(MiAaPQ)EBC5585558(Au-PeEL)EBL5585558(OCoLC)1066194051(PPN)157506878(EXLCZ)99340000000002406420111109d2011 u| 0engurnn|008mamaatxtccrFormal Methods: Foundations and Applications[electronic resource] 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /edited by Adenilso Simao, Carroll Morgan1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 205 p.) Programming and Software Engineering ;7021Bibliographic Level Mode of Issuance: Monograph3-642-25031-9 This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.Programming and Software Engineering ;7021Software engineeringComputer logicProgramming languages (Electronic computers)Computer programmingMathematical logicManagement information systemsComputer scienceSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Software engineering.Computer logic.Programming languages (Electronic computers).Computer programming.Mathematical logic.Management information systems.Computer science.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Programming Techniques.Mathematical Logic and Formal Languages.Management of Computing and Information Systems.004.0151Simao Adenilsoedthttp://id.loc.gov/vocabulary/relators/edtMorgan Carrolledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465941803316Formal Methods: Foundations and Applications773789UNISA