LEADER 03656nam  22008055  450 
001 9910483074103321
005 20200706002049.0
010   $a3-319-19249-3
024 7 $a10.1007/978-3-319-19249-9
035   $a(CKB)3710000000416867
035   $a(SSID)ssj0001501474
035   $a(PQKBManifestationID)11771923
035   $a(PQKBTitleCode)TC0001501474
035   $a(PQKBWorkID)11524827
035   $a(PQKB)10673175
035   $a(DE-He213)978-3-319-19249-9
035   $a(MiAaPQ)EBC6283082
035   $a(MiAaPQ)EBC5586913
035   $a(Au-PeEL)EBL5586913
035   $a(OCoLC)1066186886
035   $a(PPN)186029772
035   $a(EXLCZ)993710000000416867
100   $a20150523d2015      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFM 2015: Formal Methods $e20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /$fedited by Nikolaj Bjørner, Frank de Boer
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XVI, 610 p. 156 illus.)
225 1 $aProgramming and Software Engineering ;$v9109
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-19248-5 
327   $aAutomated circular assume-guarantee reasoning -- Towards formal verification of orchestration computations using the K framework -- Narrowing operators on template abstract domains.
330   $aThis book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
410  0$aProgramming and Software Engineering ;$v9109
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   $aBjørner$b Nikolaj$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $ade Boer$b Frank$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483074103321
996   $aFM 2015: Formal Methods$92831632
997   $aUNINA