HILT'12 : proceedings of the ACM Conference on High Integrity Language Technology : December 2-6, 2012 Boston, Massachusetts

Detalles Bibliográficos
Autor principal: Brosgol, Ben (-)
Autores Corporativos: Association for Computing Machinery Special Interest Group on Embedded Systems, Content Provider (content provider), SIGAPP Content Provider, SIGAda Content Provider
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2012
Colección:ACM Conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714118306719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (110 pages)
ISBN:9781450315050