HILT 2014 : proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA |
Autore | Feldman Michael |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
Descrizione fisica | 1 online resource (106 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-3217-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
High Integrity Language Technology 2014 : proceedings of the Association for Computing Machinery Conference on High Integrity Language Technology : October 18-21, 2014, Portland, Oregon, United States of America
Proceedings of the 2014 ACM SIGAda annual Conference on High Integrity Language Technology Proceedings of the 2014 Association for Computing Machinery Special Interest Group on Ada Programming Language annual Conference on High Integrity Language Technology HILT '14 High Integrity Language Technology ACM SIGAda annual Conference, Portland, OR, USA - October 18 - 21, 2014 |
Record Nr. | UNINA-9910375738003321 |
Feldman Michael | ||
[Place of publication not identified], : ACM, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the second annual Washington Ada symposium on Ada : Ada in the mainstream: applications and education / / Michael Feldman |
Autore | Feldman Michael |
Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 1985 |
Descrizione fisica | 1 online resource |
Disciplina | 005.13 |
Collana | ACM Conferences |
Soggetto topico | Programming languages (Electronic computers) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Proceedings of the second annual Washington Ada symposium on Ada |
Record Nr. | UNINA-9910510495003321 |
Feldman Michael | ||
New York, New York : , : Association for Computing Machinery, , 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|