CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India

CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India

Detalles Bibliográficos
Autor principal: Leroy, Xavier (-)
Autores Corporativos: CPP (Conference) Corporate Author (corporate author), CPP (Conference) (-), ACM Special Interest Group on Programming Languages Content Provider (content provider)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2015
Colección:ACM Conferences
Materias:
Computer Science
Engineering & Applied Sciences
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712901006719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (184 pages)
ISBN:9781450332965

Ejemplares similares