TY  - BOOK
AU  - Taft,S.Tucker
AU  - Duff,Robert A
AU  - Brukardt,Randall L
AU  - Ploedereder,Erhard
AU  - Leroy,Pascal
AU  - Schonberg,Edmond
TI  - Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E) 
SN  - 9783642454196
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
N1  - General -- Lexical Elements -- Declarations and Types -- Names and Expressions -- Statements -- Subprograms -- Packages -- Visibility Rules -- Tasks and Synchronization -- Program Structure and Compilation Issues -- Exceptions -- Generic Units -- 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 Aspects and 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 -- Index
UR  - http://dx.doi.org/10.1007/978-3-642-45419-6
ER  -