Proceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012

Detalles Bibliográficos
Autor principal:	Chin, Wei-Ngan (-)
Autor Corporativo:	Association for Computing Machinery-Digital Library (-)
Otros Autores:	Chin, Wei-Ngan Contributor (contributor), Hobor, Aquinas Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] ACM 2012
Colección:	ACM Other conferences
Materias:	Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712928506719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (53 pages)
ISBN:	9781450312721

Ejemplares similares