LEADER 04870nam  22008415  450 
001 9910484674203321
005 20200630012850.0
010   $a3-319-15075-8
024 7 $a10.1007/978-3-319-15075-8
035   $a(CKB)2560000000326191
035   $a(Springer)9783319150758
035   $a(MH)014293527-1
035   $a(SSID)ssj0001424481
035   $a(PQKBManifestationID)11784567
035   $a(PQKBTitleCode)TC0001424481
035   $a(PQKBWorkID)11369525
035   $a(PQKB)10462505
035   $a(DE-He213)978-3-319-15075-8
035   $a(MiAaPQ)EBC6281778
035   $a(MiAaPQ)EBC5587715
035   $a(Au-PeEL)EBL5587715
035   $a(OCoLC)1066181345
035   $a(PPN)183520068
035   $a(EXLCZ)992560000000326191
100   $a20150106d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods: Foundations and Applications $e17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /$fedited by Christiano Braga, Narciso Martí-Oliet
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 179 p. 39 illus.)$conline resource
225 1 $aProgramming and Software Engineering ;$v8941
300   $aIncludes index.
311   $a3-319-15074-X 
327   $aLLVM-based code generation for B -- Equational abstractions in rewriting logic and Maude -- Formalization of ZSyntax to reason about Molecular Pathways in HOL4 -- Test Case Selection Criteria for Symbolic Models of Real-Time Systems -- Model-Driven Engineering in the Heterogeneous Tool Set -- A coinductive animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection -- A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model -- Dynamic logics for every season -- Completeness and decidability results for hybrid(ised) logics -- Parameterisation of Three-Valued Abstractions.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
410  0$aProgramming and Software Engineering ;$v8941
606   $aSoftware engineering
606   $aComputer logic
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
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   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
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$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aManagement of Computing and Information Systems.
676   $a004.0151
702   $aBraga$b Christiano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartí-Oliet$b Narciso$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484674203321
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNINA
999   $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress