Reliable software technologies : Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : Proceedings
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized...
Salvato in:
| Altri autori: | , , , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edizione: | 1st ed. 2013. |
| Serie: | Programming and Software Engineering
7896 |
| Accesso 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 |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Reliable Software Technologies Ada-Europe 2013, Texte imprimé, 9783642386008 • Reliable Software Technologies -- Ada-Europe 2013, Texte imprimé, 9783642386022 |
| LEADER | 02717nam a22003737a 4500 | ||
|---|---|---|---|
| 001 | 946662 | ||
| 008 | 130704q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN170492400 | ||
| 020 | |a 9783642386015 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.13 | ||
| 245 | 0 | 0 | |a Reliable software technologies : |b Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : Proceedings |c edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Programming and Software Engineering |v 7896 |x 2945-9168 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a multi-core and distributed systems Ada and Spark dependability.-real-time systems | |
| 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 This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems | ||
| 700 | 1 | |a Keller, Hubert B. |4 pbd | |
| 700 | 1 | |a Plödereder, Erhard. |4 pbd | |
| 700 | 1 | |a Dencker, Peter. |4 pbd | |
| 700 | 1 | |a Klenk, Herbert. |4 pbd | |
| 776 | 0 | |t Reliable Software Technologies Ada-Europe 2013 |b Texte imprimé |z 9783642386008 | |
| 776 | 0 | |t Reliable Software Technologies -- Ada-Europe 2013 |b Texte imprimé |z 9783642386022 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38601-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-NDF8J9W3-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747821089 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-38601-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750837837 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-38601-5 |z Accès INSA CVL | |
| 997 | |0 946662 |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/ | ||