PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA

PLPV '14 : proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification : January 21, 2014, San Diego, California, USA

Detalles Bibliográficos
Autor principal: Danielsson, Nils Anders (-)
Autores Corporativos: ACM Special Interest Group for Algorithms and Computation Theory Content Provider (content provider), ACM Special Interest Group on Programming Languages Content Provider
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2014
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712854106719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (60 pages)
ISBN:9781450325677

Ejemplares similares