LEADER 04032nam  22008415  450 
001 996465941803316
005 20201028133432.0
010   $a3-642-25032-7
024 7 $a10.1007/978-3-642-25032-3
035   $a(CKB)3400000000024064
035   $a(SSID)ssj0000609742
035   $a(PQKBManifestationID)11350054
035   $a(PQKBTitleCode)TC0000609742
035   $a(PQKBWorkID)10623272
035   $a(PQKB)11512963
035   $a(DE-He213)978-3-642-25032-3
035   $a(MiAaPQ)EBC6306621
035   $a(MiAaPQ)EBC5585558
035   $a(Au-PeEL)EBL5585558
035   $a(OCoLC)1066194051
035   $a(PPN)157506878
035   $a(EXLCZ)993400000000024064
100   $a20111109d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /$fedited by Adenilso Simao, Carroll Morgan
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 205 p.) 
225 1 $aProgramming and Software Engineering ;$v7021
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-25031-9 
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v7021
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aMathematical logic
606   $aManagement information systems
606   $aComputer science
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aMathematical logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aMathematical Logic and Formal Languages.
615 24$aManagement of Computing and Information Systems.
676   $a004.0151
702   $aSimao$b Adenilso$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMorgan$b Carroll$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465941803316
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNISA