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

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

Welcome to the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2021). CPP covers the practical and theoretical topics in all areas that consider formal verication and certication as an essential paradigm for their work. CPP spans areas of computer science, mathematics...

Descripción completa

Detalles Bibliográficos
Otros Autores: Hriţcu, Cătălin, editor (editor), Popescu, Andrei, editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York : Association for Computing Machinery 2021.
Colección:ACM Conferences
Materias:
Formal methods (Computer science) > Congresses.
Computer software > Verification > Congresses.
Computer science > Mathematics > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714271006719

Ejemplares similares

Ejemplares similares