Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical com...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
2219 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Consolidated Ada reference manual, language and standard libraries, international standard ISO/IEC 8652/1995(E) with technical corrigendum 1, S.Tucker Taft... [et al.] (eds.), Berlin, Springer, 2000, 1 vol. (XIX-560 p.), Lecture notes in computer science, 3-540-43038-5 • Consolidated Ada Reference Manual, Texte imprimé, 9783662204733 |
| LEADER | 04698nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 948950 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155200860 | ||
| 020 | |a 9783540453406 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.133 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Taft, S. Tucker, |d 1953- | |
| 245 | 1 | 0 | |a Consolidated Ada reference manual : |b language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 |c [edited by] S. Tucker Taft, Robert A. Duff, Randall L. Brukardt... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2219 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Information technology Programming Languages Ada -- Section 2: Lexical Elements -- Section 3: Declarations and Types -- Section 4: Names and Expressions -- Section 5: Statements -- Section 6: Subprograms -- Section 7: Packages -- Section 8: Visibility Rules -- Section 9: Tasks and Synchronization -- Section 10: Program Structure and Compilation Issues -- Section 11: Exceptions -- Section 12: Generic Units -- Section 13: Representation Issues -- Annex A (normative) -- Annex B (normative) -- Annex C (normative) -- Annex D (normative) -- Annex E (normative) -- Annex F (normative) -- Annex G (normative) -- Annex H (normative) -- Annex J (normative) -- Annex K (informative) -- Annex L (informative) -- Annex M (informative) -- Annex N (informative) -- Annex P (informative). | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a ISO (the International Organization for Standardization) and IEC (the International Electrotechnical 1 Commission) form the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the work. 2 In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote. International Standard ISO/IEC 8652 was prepared by Joint Technical Committee ISO/IEC JTC 1, 3 Information Technology. This second edition cancels and replaces the first edition (ISO 8652:1987), of which it constitutes a 4 technical revision. Annexes A to J form an integral part of this International Standard. Annexes K to P are for information 5 only. xi 15 June 2001 Foreword ISO/IEC 8652:1995(E) with COR.1:2000 Ada Reference Manual Introduction 1 This is the Ada Reference Manual. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Ada (langage de programmation) | ||
| 700 | 1 | |a Duff, Robert A. |4 pbd | |
| 700 | 1 | |a Brukardt, Randall L., |d 19..- |4 pbd | |
| 776 | 0 | |0 059914025 |t Consolidated Ada reference manual |o language and standard libraries |o international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 |f S.Tucker Taft... [et al.] (eds.) |c Berlin |n Springer |d 2000 |p 1 vol. (XIX-560 p.) |s Lecture notes in computer science |z 3-540-43038-5 | |
| 776 | 0 | |t Consolidated Ada Reference Manual |b Texte imprimé |z 9783662204733 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45340-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-FV0240SP-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748057757 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45340-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751509124 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45340-7 |z Accès INSA CVL | |
| 997 | |0 948950 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||