CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA

CPP '18 proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA

Detalles Bibliográficos
Autores Corporativos: CPP (Conference) (-), ACM Special Interest Group on Programming Languages, sponsoring body (sponsoring body)
Otros Autores: Andronick, June, editor (editor), Felty, Amy, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2018.
Colección:ACM Conferences
Materias:
Computer science > Mathematics > Congresses.
Proof theory > Data processing > Congresses.
Formal methods (Computer science) > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712947506719

Ejemplares similares

Ejemplares similares