PLPV '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 22, 2013, Rome, Italy

PLPV '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 22, 2013, Rome, Italy

Detalles Bibliográficos
Autor principal: Giacobazzi, Roberto (-)
Autor Corporativo: ACM Special Interest Group on Programming Languages Content Provider (content provider)
Otros Autores: Abel, Andreas Contributor (contributor), Sheard, T Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2013
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712988906719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (80 pages)
ISBN:9781450318600

Ejemplares similares