LEADER 03365nam  22007215  450 
001 9910484138103321
005 20251103104925.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 $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,$x2945-9168 ;$v9995
311 08$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,$x2945-9168 ;$v9995
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer science
606   $aElectronic data processing$xManagement
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aComputer Science Logic and Foundations of Programming
606   $aIT Operations
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer science.
615  0$aElectronic data processing$xManagement.
615 14$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aIT Operations.
615 24$aTheory of Computation.
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   $a9910484138103321
996   $aFM 2016: Formal Methods$92830480
997   $aUNINA