Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
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...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Taft, S. Tucker (Επιμελητής έκδοσης), Duff, Robert A. (Επιμελητής έκδοσης), Brukardt, Randall L. (Επιμελητής έκδοσης), Ploedereder, Erhard (Επιμελητής έκδοσης), Leroy, Pascal (Επιμελητής έκδοσης), Schonberg, Edmond (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Σειρά: | Lecture Notes in Computer Science,
8339 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Ada 2012 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2013) -
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
ανά: Taft, S. Tucker, κ.ά.
Έκδοση: (2006) -
Ada 2005 Rationale The Language, The Standard Libraries /
ανά: Barnes, John
Έκδοση: (2008) -
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Έκδοση: (2012) -
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
Έκδοση: (2009)