Proceedings of the 11th International Workshop on Formal Techniques for Java-Like Programs

Detalles Bibliográficos
Autor principal:	Banerjee, Anindya (-)
Autor Corporativo:	Association for Computing Machinery-Digital Library (-)
Otros Autores:	Banerjee, Anindya Contributor (contributor)
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] Association for Computing Machinery 2009
Colección:	ACM Other conferences
Materias:	Information Technology > Computer Science (Hardware & Networks)
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713647006719

Descripción
Notas:	Bibliographic Level Mode of Issuance: Monograph
Descripción Física:	1 online resource (64 p.;)

Ejemplares similares