1. Categories:
  2. Operating Systems
  3. Computer Programming / Software Development
  4. Compilers
  5. Programming & Scripting Languages: General
  6. Software Engineering
Ada 2012 Reference Manual. Language and Standard Libraries

Ada 2012 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/2012 (E)

Edited by  , Edited by  , Edited by  , Edited by  , Edited by  , Edited by 

Free delivery worldwide

Available. Expected delivery to the United States in 9-14 business days.


Not ordering to the United States? Click here.
Add to basket Add to wishlist

Description

The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Amendment 1 with changes and additions that improve the capabilities of the language and the reliability of programs written in the language. The Ada 2012 Reference Manual will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.
show more

Product details

  • Paperback | 921 pages
  • 168 x 234 x 33.02mm | 1,428.82g
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Berlin, Germany
  • English
  • 2013 ed.
  • XXVIII, 921 p.
  • 3642454186
  • 9783642454189
  • 2,709,324

Other books in this series

Deductive Software Verification - The KeY Book

Deductive Software Verification - The KeY Book

Wolfgang Ahrendt

21 Dec 2016

Paperback

US$136.67

Add to basket
Reflections on the Teaching of Programming

Reflections on the Teaching of Programming

Jens Bennedsen

01 Aug 2008

Paperback

US$74.36  US$74.99

Save US$0.63

Add to basket
Ada 2005 Rationale

Ada 2005 Rationale

John Barnes

20 May 2008

Paperback

US$77.39

Add to basket
Software Architecture

Software Architecture

Tomas Bures

30 Aug 2019

Paperback

US$75.13

Add to basket
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen

23 Sep 2019

Paperback

US$68.03

Add to basket
Tests and Proofs

Tests and Proofs

Dirk Beyer

11 Sep 2019

Paperback

US$74.99

Add to basket
Testing Software and Systems
12%
off

Testing Software and Systems

Christophe Gaston

18 Sep 2019

Paperback

US$82.20  US$94.00

Save US$11.80

Add to basket
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Nan Guan

10 Nov 2019

Paperback

US$68.03

Add to basket
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Gustavo Carvalho

23 Jan 2021

Paperback

US$72.23

Add to basket
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Susanne Graf

20 Nov 2006

Paperback

US$143.31

Add to basket
Autonomic and Trusted Computing

Autonomic and Trusted Computing

Laurence T. Yang

01 Oct 2006

Paperback

US$152.57

Add to basket
Hardware and Software, Verification and Testing
34%
off

Hardware and Software, Verification and Testing

Shmuel Ur

01 May 2006

Paperback

US$64.47  US$99.00

Save US$34.53

Add to basket
Agent-Oriented Software Engineering V

Agent-Oriented Software Engineering V

James Odell

01 Apr 2005

Paperback

US$97.07  US$99.00

Save US$1.93

Add to basket
Operational Semantics for Timed Systems

Operational Semantics for Timed Systems

Heinrich Rust

30 Sep 2005

Paperback

US$96.69

Add to basket
High Confidence Software Reuse in Large Systems

High Confidence Software Reuse in Large Systems

Hong Mei

01 Aug 2008

Paperback

US$116.46  US$119.00

Save US$2.54

Add to basket
All About Maude - A High-Performance Logical Framework
50%
off

All About Maude - A High-Performance Logical Framework

Manuel Clavel

03 Sep 2007

Mixed media product

US$58.33  US$119.00

Save US$60.67

Add to basket
Coordination Models and Languages

Coordination Models and Languages

Amy L. Murphy

01 Aug 2007

Paperback

US$99.53

Add to basket
Formal Methods for Industrial Critical Systems
39%
off

Formal Methods for Industrial Critical Systems

Gwen Salaun

01 Nov 2011

Paperback

US$36.12  US$59.99

Save US$23.87

Add to basket
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Francesco Flammini

15 Sep 2011

Paperback

US$91.67

Add to basket
Formal Methods and Software Engineering
62%
off

Formal Methods and Software Engineering

Shengchao Qin

15 Dec 2011

Paperback

US$48.70  US$129.00

Save US$80.30

Add to basket
  1. Categories:
  2. Operating Systems
  3. Computer Programming / Software Development
  4. Compilers
  5. Programming & Scripting Languages: General
  6. Software Engineering

Table of contents

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.
show more