LEADER 03523nam  22007815  450 
001 9910349397403321
005 20251225205422.0
010   $a9783030024505
010   $a3030024504
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,$x2945-9168 ;$v11232
311 08$a9783030024499 
311 08$a3030024490 
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,$x2945-9168 ;$v11232
606   $aSoftware engineering
606   $aComputer science
606   $aElectronic digital computers$xEvaluation
606   $aComputers
606   $aProfessions
606   $aMachine theory
606   $aComputers, Special purpose
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aSystem Performance and Evaluation
606   $aThe Computing Profession
606   $aFormal Languages and Automata Theory
606   $aSpecial Purpose and Application-Based Systems
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aElectronic digital computers$xEvaluation.
615  0$aComputers.
615  0$aProfessions.
615  0$aMachine theory.
615  0$aComputers, Special purpose.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSystem Performance and Evaluation.
615 24$aThe Computing Profession.
615 24$aFormal Languages and Automata Theory.
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