Ada 2012 Reference Manual. Language and Standard Libraries

Ada 2012 Reference Manual. Language and Standard Libraries
Author :
Publisher : Springer
Total Pages : 935
Release :
ISBN-10 : 9783642454196
ISBN-13 : 3642454194
Rating : 4/5 (96 Downloads)

Book Synopsis Ada 2012 Reference Manual. Language and Standard Libraries by : S. Tucker Taft

Download or read book Ada 2012 Reference Manual. Language and Standard Libraries written by S. Tucker Taft and published by Springer. This book was released on 2014-01-14 with total page 935 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Ada 2012 Reference Manual. Language and Standard Libraries Related Books

Ada 2012 Reference Manual. Language and Standard Libraries
Language: en
Pages: 935
Authors: S. Tucker Taft
Categories: Computers
Type: BOOK - Published: 2014-01-14 - Publisher: Springer

DOWNLOAD EBOOK

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 R
Ada 2012 Rationale
Language: en
Pages: 216
Authors: John Barnes
Categories: Computers
Type: BOOK - Published: 2013-11-19 - Publisher: Springer

DOWNLOAD EBOOK

Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition repla
Reliable Software Technologies – Ada-Europe 2018
Language: en
Pages: 179
Authors: António Casimiro
Categories: Computers
Type: BOOK - Published: 2018-06-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portug
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Language: en
Pages: 599
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-28 - Publisher: Springer

DOWNLOAD EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Reliable Software Technologies – Ada-Europe 2017
Language: en
Pages: 255
Authors: Johann Blieberger
Categories: Computers
Type: BOOK - Published: 2017-05-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn