LEADER 02584nam  22005175  450 
001 9910483998003321
005 20200703060009.0
010   $a3-642-41071-5
024 7 $a10.1007/978-3-642-41071-0
035   $a(CKB)3710000000015962
035   $a(SSID)ssj0000988142
035   $a(PQKBManifestationID)11621610
035   $a(PQKBTitleCode)TC0000988142
035   $a(PQKBWorkID)10950249
035   $a(PQKB)10062220
035   $a(DE-He213)978-3-642-41071-0
035   $a(MiAaPQ)EBC3093489
035   $a(PPN)172430445
035   $a(EXLCZ)993710000000015962
100   $a20130830d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods: Foundations and Applications$b[electronic resource] $e16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /$fedited by Juliano Iyoda, Leonardo de Moura
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 243 p. 81 illus.) 
225 1 $aProgramming and Software Engineering ;$v8195
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-41070-7 
327   $aFoundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains.
330   $aThis book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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 ;$v8195
606   $aComputer science
606   $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001
615  0$aComputer science.
615 14$aComputer Science, general.
676   $a004
702   $aIyoda$b Juliano$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Moura$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910483998003321
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNINA