PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009

Detalles Bibliográficos
Autor principal:	Altenkirch, Thorsten (-)
Autores Corporativos:	PLPV '09 Corporate Author (corporate author), PLPV '09 (-), A C M Special Interest Group Content Provider (content provider), ACM Special Interest Group on Programming Languages Content Provider, ACM Symposium on Principles of Programming Languages
Otros Autores:	Millstein, Todd Contributor (contributor), Altenkirch, Thorsten Contributor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	[Place of publication not identified] Association for Computing Machinery 2009
Colección:	ACM Conferences
Materias:	Computer programs > Verification > Congresses Programming languages (Electronic computers) > Congresses Engineering & Applied Sciences Computer Science
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712856606719

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

Ejemplares similares