CPP '17 proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France

Detalles Bibliográficos
Autor Corporativo:	CPP (Conference) (-)
Otros Autores:	Bertot, Yves, editor (editor), Vafeiadis, Viktor, editor
Formato:	Libro electrónico
Idioma:	Inglés
Publicado:	New York : ACM 2017.
Colección:	ACM Other conferences
Materias:	Computer science > Mathematics > Congresses. Formal methods (Computer science) > Congresses. Proof theory > Data processing > Congresses.
Ver en Biblioteca Universitat Ramon Llull:	https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712997906719

Ejemplares similares