LEADER 03904nam  22007695  450 
001 996465598003316
005 20210830191441.0
010   $a3-319-48989-5
024 7 $a10.1007/978-3-319-48989-6
035   $a(CKB)3710000000981099
035   $a(DE-He213)978-3-319-48989-6
035   $a(MiAaPQ)EBC6306555
035   $a(MiAaPQ)EBC5592111
035   $a(Au-PeEL)EBL5592111
035   $a(OCoLC)1066194149
035   $a(PPN)197137040
035   $a(EXLCZ)993710000000981099
100   $a20161107d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFM 2016: Formal Methods$b[electronic resource] $e21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /$fedited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XXIII, 789 p. 204 illus.)
225 1 $aProgramming and Software Engineering ;$v9995
311   $a3-319-48988-7 
320   $aIncludes bibliographical references and index.
327   $aInterdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations.
330   $aThis book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
410  0$aProgramming and Software Engineering ;$v9995
606   $aSoftware engineering
606   $aMathematical logic
606   $aComputer logic
606   $aManagement information systems
606   $aComputer science
606   $aComputers
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aManagement information systems.
615  0$aComputer science.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aManagement of Computing and Information Systems.
615 24$aComputation by Abstract Devices.
676   $a004.0151
702   $aFitzgerald$b John$f1965-$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHeitmeyer$b Constance$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGnesi$b Stefania$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPhilippou$b Anna$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465598003316
996   $aFM 2016: Formal Methods$92830480
997   $aUNISA