CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA / / edited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA / / edited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN
|
| Pubblicazione: | New York : , : ACM, , 2016 |
| Descrizione fisica: | 1 online resource (196 pages) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Computer science - Mathematics |
| Proof theory - Data processing | |
| Formal methods (Computer science) | |
| Soggetto genere / forma: | Electronic books. |
| Persona (resp. second.): | AvigadJeremy |
| ChlipalaAdam <1981-> | |
| Note generali: | Includes index. |
| Altri titoli varianti: | Certified Programs and Proofs 2016 : proceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA |
| Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs | |
| Proceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs | |
| Titolo autorizzato: | CPP '16 |
| ISBN: | 1-4503-4127-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910376541603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |