Nantilus
Ada 2012 rationale : the language, the standard libraries
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 replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Ada 2012 rationale : the language, the standard libraries / by John Barnes |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Programming and Software Engineering ; 8338 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | 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 |
| Contenu : | Introduction. Contracts and Aspects. Expressions. Structure and Visibility. Tasking and Real-Time. Iterators, Pools, etc. Overview of changes. Predefined Library. Containers. Epilogue |
| Sujets : | |
| Documents associés : | Autre format:
Ada 2012 Rationale Autre format: Ada 2012 Rationale |
| LEADER | 03986clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN176117911 | ||
| 003 | http://www.sudoc.fr/176117911 | ||
| 005 | 20241001155500.0 | ||
| 010 | |a 978-3-642-45210-9 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-45210-9 |2 DOI |
| 035 | |a (OCoLC)870330707 | ||
| 035 | |a Springer978-3-642-45210-9 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-45210-9 | ||
| 035 | |a Springer-11645-978-3-642-45210-9 | ||
| 100 | |a 20140205f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Ada 2012 rationale |e the language, the standard libraries |f by John Barnes | |
| 205 | |a 1st ed. 2013. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 8338 | |
| 327 | 1 | |a Introduction |a Contracts and Aspects |a Expressions |a Structure and Visibility |a Tasking and Real-Time |a Iterators, Pools, etc |a Overview of changes |a Predefined Library |a Containers |a Epilogue | |
| 330 | |a 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 replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |t Programming and Software Engineering |x 2945-9168 |v 8338 | |
| 452 | | | |t Ada 2012 Rationale |b Texte imprimé |y 9783642452093 | |
| 452 | | | |t Ada 2012 Rationale |b Texte imprimé |y 9783642452116 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Operating Systems | |
| 610 | 2 | |a Programming Techniques | |
| 610 | 2 | |a Software Engineering | |
| 610 | 1 | |a Compilers and Interpreters | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.13 |v 23 | ||
| 680 | |a QA76.7-76.73 | ||
| 680 | |a QA76.76.C65 | ||
| 700 | 1 | |3 PPN076180379 |a Barnes |b John Gilbert Presslie |f 1937-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-45210-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-HQSXR87N-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830863044 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-45210-9 | |
| 915 | |5 441099901:830863044 |b SPRING13-01264 | ||
| 930 | |5 441099901:830863044 |b 441099901 |j g | ||
| 991 | |5 441099901:830863044 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:18 | ||
| 997 | |a NUM |b SPRING13-01264 |d NUMpivo |e EM |s d | ||
| 998 | |a 979165 | ||