000 | 03585nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-57288-8 | ||
003 | DE-He213 | ||
005 | 20210120143401.0 | ||
007 | cr nn 008mamaa | ||
008 | 170408s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319572888 _9978-3-319-57288-8 |
||
024 | 7 |
_a10.1007/978-3-319-57288-8 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aNASA Formal Methods _h[electronic resource] : _b9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / _cedited by Clark Barrett, Misty Davies, Temesghen Kahsai. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXI, 436 p. 124 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering ; _v10227 _aLecture Notes in Computer Science _v10227 |
|
520 | _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. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aAlgorithms. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
700 | 1 |
_aBarrett, Clark. _eeditor. _0(orcid)0000-0002-9522-3084 _1https://orcid.org/0000-0002-9522-3084 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aDavies, Misty. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aKahsai, Temesghen. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319572871 |
776 | 0 | 8 |
_iPrinted edition: _z9783319572895 |
830 | 0 |
_aProgramming and Software Engineering ; _v10227 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10227 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-57288-8 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c58030 _d58030 |