LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark

LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark

Detalles Bibliográficos
Autor principal: Chlipala, Adam (-)
Autores Corporativos: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Corporate Author (corporate author), International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (-), 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 2012
Colección:ACM Conferences
Materias:
Engineering & Applied Sciences
Computer Science
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713910906719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (44 pages)
ISBN:9781450315784

Ejemplares similares