LEADER 03319nam  22006855  450 
001 996466307003316
005 20200706161350.0
010   $a3-642-38613-X
024 7 $a10.1007/978-3-642-38613-8
035   $a(CKB)3280000000007661
035   $a(DE-He213)978-3-642-38613-8
035   $a(SSID)ssj0000904584
035   $a(PQKBManifestationID)11493052
035   $a(PQKBTitleCode)TC0000904584
035   $a(PQKBWorkID)10923531
035   $a(PQKB)10278103
035   $a(MiAaPQ)EBC3093022
035   $a(PPN)170492435
035   $a(EXLCZ)993280000000007661
100   $a20130514d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Formal Methods$b[electronic resource] $e10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /$fedited by Einar Broch Johnsen, Luigia Petre
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 443 p. 95 illus.) 
225 1 $aProgramming and Software Engineering ;$v7940
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-38612-1 
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.
410  0$aProgramming and Software Engineering ;$v7940
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a004.0151
702   $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetre$b Luigia$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466307003316
996   $aIntegrated Formal Methods$9772444
997   $aUNISA