000 | 03996nam a22005295i 4500 | ||
---|---|---|---|
001 | 978-3-540-69336-9 | ||
003 | DE-He213 | ||
005 | 20160624102056.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2006 gw | s |||| 0|eng d | ||
020 |
_a9783540693369 _9978-3-540-69336-9 |
||
024 | 7 |
_a10.1007/978-3-540-69336-9 _2doi |
|
050 | 4 | _aQA76.6-76.66 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
082 | 0 | 4 |
_a005.11 _223 |
100 | 1 |
_aTaft, S. Tucker. _eauthor. |
|
245 | 1 | 0 |
_aAda 2005 Reference Manual. Language and Standard Libraries _h[electronic resource] : _bInternational Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 / _cby S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006. |
|
300 |
_aXXIX, 765 p. _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 ; _v4348 |
|
505 | 0 | _aSection 1: General -- Section 1: General -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- The Standard Libraries -- Annex A (normative): Predefined Language Environment -- Annex B (normative): Interface to Other Languages -- Annex C (normative): Systems Programming -- Annex D (normative): Real-Time Systems -- Annex E (normative): Distributed Systems -- Annex F (normative): Information Systems -- Annex G (normative): Numerics -- Annex H (normative): High Integrity Systems -- Annex J (normative): Obsolescent Features -- Annex K (informative): Language-Defined Attributes -- Annex L (informative): Language-Defined Pragmas -- Annex M (informative): Summary of Documentation Requirements -- Annex N (informative): Glossary -- Annex P (informative): Syntax Summary -- Annex Q (informative): Language-Defined Entities. | |
520 | _aThe Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard. The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically. In naming this version, we have chosen the vernacular term Ada 2005 used by the Ada community to refer to the interesting extensions made to the language Ada by the Amendment 1. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aSoftware engineering. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
700 | 1 |
_aDuff, Robert A. _eauthor. |
|
700 | 1 |
_aBrukardt, Randall L. _eauthor. |
|
700 | 1 |
_aPloedereder, Erhard. _eauthor. |
|
700 | 1 |
_aLeroy, Pascal. _eauthor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540693352 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v4348 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-540-69336-9 |
942 |
_2EBK7197 _cEBK |
||
999 |
_c36491 _d36491 |