LEADER 03604nam  22007815  450 
001 9910484901603321
005 20200706094045.0
010   $a3-319-19458-5
024 7 $a10.1007/978-3-319-19458-5
035   $a(CKB)3710000000416871
035   $a(SSID)ssj0001501476
035   $a(PQKBManifestationID)11830598
035   $a(PQKBTitleCode)TC0001501476
035   $a(PQKBWorkID)11446977
035   $a(PQKB)10089537
035   $a(DE-He213)978-3-319-19458-5
035   $a(MiAaPQ)EBC6303912
035   $a(MiAaPQ)EBC5595824
035   $a(Au-PeEL)EBL5595824
035   $a(OCoLC)1076254446
035   $a(PPN)186029799
035   $a(EXLCZ)993710000000416871
100   $a20150511d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Methods for Industrial Critical Systems $e20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /$fedited by Manuel Núñez, Matthias Güdemann
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XVI, 213 p. 61 illus.) 
225 1 $aProgramming and Software Engineering ;$v9128
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-19457-7 
327   $aApplications.- Protocols -- Specification and analysis -- Verification.
330   $aThis book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
410  0$aProgramming and Software Engineering ;$v9128
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aSoftware engineering
606   $aSpecial purpose computers
606   $aMathematical logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aSpecial purpose computers.
615  0$aMathematical logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aMathematical Logic and Formal Languages.
676   $a004.0151
702   $aNúñez$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGüdemann$b Matthias$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484901603321
996   $aFormal Methods for Industrial Critical Systems$91921860
997   $aUNINA