PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007

PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007

Detalles Bibliográficos
Autor principal: Stump, Aaron (-)
Autores Corporativos: PLPV '07 (-), Association for Computing Machinery-Digital Library
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] Association for Computing Machinery 2007
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/alma991009713662406719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (76 p.;)

Ejemplares similares