Ada 2012 Reference Manual. Language and Standard Libraries  International Standard ISO/IEC 8652/2012 (E) /  [electronic resource] : 
edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (XXVIII, 921 p.) 
 - Lecture Notes in Computer Science,  8339  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642454196 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Operating systems (Computers).