000 | 03443nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-60588-3 | ||
003 | DE-He213 | ||
005 | 20210120143340.0 | ||
007 | cr nn 008mamaa | ||
008 | 170529s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319605883 _9978-3-319-60588-3 |
||
024 | 7 |
_a10.1007/978-3-319-60588-3 _2doi |
|
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
072 | 7 |
_aUMX _2bicssc |
|
072 | 7 |
_aCOM051010 _2bisacsh |
|
072 | 7 |
_aUMX _2thema |
|
072 | 7 |
_aUMC _2thema |
|
082 | 0 | 4 |
_a005.13 _223 |
245 | 1 | 0 |
_aReliable Software Technologies – Ada-Europe 2017 _h[electronic resource] : _b22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / _cedited by Johann Blieberger, Markus Bader. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXIV, 251 p. 61 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 ; _v10300 _aLecture Notes in Computer Science _v10300 |
|
505 | 0 | _aRuntimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality. | |
520 | _aThis book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality. | ||
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aSpecial purpose computers. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aOperating systems (Computers). | |
650 | 1 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13030 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aOperating Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14045 |
700 | 1 |
_aBlieberger, Johann. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBader, Markus. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319605876 |
776 | 0 | 8 |
_iPrinted edition: _z9783319605890 |
830 | 0 |
_aProgramming and Software Engineering ; _v10300 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10300 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-60588-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57697 _d57697 |