PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA

PLPV '11 : proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification : January 29, 2011, Austin, Texas, USA

Detalles Bibliográficos
Autor principal: Jhala, Ranjit (-)
Autores Corporativos: ACM Symposium on Principles of Programming Languages Corporate Author (corporate author), ACM Symposium on Principles of Programming Languages (-), Association for Computing Machinery-Digital Library
Otros Autores: Swierstra, Wouter Contributor (contributor), Jhala, Ranjit Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2011
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712990406719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (62 pages)

Ejemplares similares