LEADER 03775nam  22007335  450 
001 9910349397403321
005 20200701071518.0
010   $a3-030-02450-4
024 7 $a10.1007/978-3-030-02450-5
035   $a(CKB)4100000007110727
035   $a(DE-He213)978-3-030-02450-5
035   $a(MiAaPQ)EBC6285360
035   $a(PPN)232470545
035   $a(EXLCZ)994100000007110727
100   $a20181010d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods and Software Engineering $e20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /$fedited by Jing Sun, Meng Sun
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXII, 474 p. 115 illus.) 
225 1 $aProgramming and Software Engineering ;$v11232
311   $a3-030-02449-0 
327   $aFormal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
330   $aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
410  0$aProgramming and Software Engineering ;$v11232
606   $aSoftware engineering
606   $aComputer logic
606   $aComputer system failures
606   $aComputers
606   $aMathematical logic
606   $aSpecial purpose computers
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   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aComputer system failures.
615  0$aComputers.
615  0$aMathematical logic.
615  0$aSpecial purpose computers.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aSystem Performance and Evaluation.
615 24$aThe Computing Profession.
615 24$aMathematical Logic and Formal Languages.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a004.0151
676   $a004.0151
702   $aSun$b Jing$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSun$b Meng$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349397403321
996   $aFormal Methods and Software Engineering$9771999
997   $aUNINA