Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs / / edited by Jasmin Blanchette
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs / / edited by Jasmin Blanchette
|
| Pubblicazione: | New York, New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica: | 1 online resource (261 pages) : illustrations |
| Disciplina: | 004.0151 |
| Soggetto topico: | Computer science Mathematics |
| Computer software Verification | |
| Formal methods (Computer science) | |
| Proof theory Data processing | |
| Persona (resp. second.): | BlanchetteJasmin |
| Titolo autorizzato: | Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910412343003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |