Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe. The 42 papers accepted for presentation address general Ada-relat...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
887 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada in Europe, First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, proceedings, Marcel Toussaint, ed, Berlin, Springer-Verlag, 1994, 1 vol. (XII-521 p.), Lecture notes in computer science, 3-540-58822-1 • Ada in Europe, Texte imprimé, 9783662186732 |
| Tóm tắt: | This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe. The 42 papers accepted for presentation address general Ada-related software engineering aspects as well as Ada language issues; the majority of the papers are stimulated by research and development done in the aerospace and aircraft industry. Among the topics covered are compiler issues, safety, criticality and formal methods, object-orientation, management and training, life cycle, reuse, Ada-libraries, run-time, and real-time aspects. |
|---|---|
| Mô tả sách: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| số ISBN: | 9783540491101 (PDF) |
| số ISSN: | 1611-3349 |
| Truy cập: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement 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 |