LEADER 03842nam  22007815  450 
001 996465881303316
005 20201028134350.0
010   $a3-642-19829-5
024 7 $a10.1007/978-3-642-19829-8
035   $a(CKB)2670000000076060
035   $a(SSID)ssj0000536795
035   $a(PQKBManifestationID)11362101
035   $a(PQKBTitleCode)TC0000536795
035   $a(PQKBWorkID)10552484
035   $a(PQKB)11710700
035   $a(DE-He213)978-3-642-19829-8
035   $a(MiAaPQ)EBC3066534
035   $a(PPN)15158964X
035   $a(EXLCZ)992670000000076060
100   $a20110316d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /$fedited by Jim Davies, Leila Silva, Adenilso Simao
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (VIII, 291 p.) 
225 1 $aProgramming and Software Engineering ;$v6527
300   $aIncludes index.
311   $a3-642-19828-7 
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 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 ;$v6527
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   $a005.1
702   $aDavies$b Jim$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSilva$b Leila$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSimao$b Adenilso$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465881303316
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNISA