000 | 02624nam a22005175i 4500 | ||
---|---|---|---|
001 | u376251 | ||
003 | SIRSI | ||
005 | 20160812084403.0 | ||
007 | cr nn 008mamaa | ||
008 | 110628s2011 gw | s |||| 0|eng d | ||
020 |
_a9783642213380 _9978-3-642-21338-0 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQA76.7-76.73 | |
050 | 4 | _aQA76.76.C65 | |
082 | 0 | 4 |
_a005.13 _223 |
100 | 1 |
_aRomanovsky, Alexander. _eeditor. |
|
245 | 1 | 0 |
_aReliable Software Technologies - Ada-Europe 2011 _h[recurso electrónico] : _b16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / _cedited by Alexander Romanovsky, Tullio Vardanega. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2011. |
|
300 |
_aXIII, 227p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6652 |
|
520 | _aThis book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
700 | 1 |
_aVardanega, Tullio. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642213373 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6652 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-21338-0 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c204131 _d204131 |