| 000 | 02507nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-30598-6 | ||
| 003 | DE-He213 | ||
| 005 | 20140220083319.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120606s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642305986 _9978-3-642-30598-6 |
||
| 024 | 7 |
_a10.1007/978-3-642-30598-6 _2doi |
|
| 050 | 4 | _aQA76.7-76.73 | |
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMX _2bicssc |
|
| 072 | 7 |
_aUMC _2bicssc |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 072 | 7 |
_aCOM010000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.13 _223 |
| 100 | 1 |
_aBrorsson, Mats. _eeditor. |
|
| 245 | 1 | 0 |
_aReliable Software Technologies – Ada-Europe 2012 _h[electronic resource] : _b17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / _cedited by Mats Brorsson, Luís Miguel Pinho. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aXII, 220p. 59 illus. _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 ; _v7308 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems. | ||
| 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 |
_aPinho, Luís Miguel. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642305979 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7308 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-30598-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c103213 _d103213 |
||