CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA

CPP '16 proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA

Detalles Bibliográficos
Autores Corporativos: CPP (Conference) (-), ACM Special Interest Group on Programming Languages, sponsoring body (sponsoring body)
Otros Autores: Avigad, Jeremy, editor (editor), Chlipala, Adam, 1981- editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : ACM 2016.
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/alma991009713982306719
Descripción
Notas:Includes index.
Descripción Física:1 online resource (196 pages)
ISBN:9781450341271

Ejemplares similares