Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Detalles Bibliográficos
Otros Autores: Blanchette, Jasmin, editor (editor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York, New York : Association for Computing Machinery 2020.
Colección:ACM Conferences
Materias:
Computer science Mathematics > Congresses.
Computer software Verification > Congresses.
Formal methods (Computer science) > Congresses.
Proof theory Data processing.
Proof theory Data processing > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714622506719

Ejemplares similares

Ejemplares similares