LEADER 03741nam  22007575  450 
001 996465812603316
005 20200707012714.0
010   $a3-319-57288-1
024 7 $a10.1007/978-3-319-57288-8
035   $a(CKB)3850000000027404
035   $a(DE-He213)978-3-319-57288-8
035   $a(MiAaPQ)EBC6283937
035   $a(MiAaPQ)EBC5578845
035   $a(Au-PeEL)EBL5578845
035   $a(OCoLC)986228158
035   $a(PPN)201471175
035   $a(EXLCZ)993850000000027404
100   $a20170408d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNASA Formal Methods$b[electronic resource] $e9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /$fedited by Clark Barrett, Misty Davies, Temesghen Kahsai
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XI, 436 p. 124 illus.) 
225 1 $aProgramming and Software Engineering ;$v10227
311   $a3-319-57287-3 
330   $aThis book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
410  0$aProgramming and Software Engineering ;$v10227
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputer programming
606   $aComputer logic
606   $aMathematical logic
606   $aAlgorithms
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer programming.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aAlgorithms.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aAlgorithm Analysis and Problem Complexity.
676   $a004.0151
702   $aBarrett$b Clark$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDavies$b Misty$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKahsai$b Temesghen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465812603316
996   $aNASA Formal Methods$91898868
997   $aUNISA