CPP '15 [electronic resource] : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India / sponsored by ACM SIGPLAN
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
CPP (Conference) (4th : 2015 : Mumbai, India)
|
| Titolo: |
CPP '15 [electronic resource] : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India / sponsored by ACM SIGPLAN
|
| Link to work: |
CPP '15
|
| Pubblicazione: |
New York : ACM, 2015
|
| Estensione: | 1 online resource (1 online resource (184 pages)) |
| Genere/Forma: | Electronic books |
| Classificazione LOC: | QA76.9.M35 |
| Accesso ente: | ACM Special Interest Group on Programming Languages |
| Note generali: | Includes index. |
| "Co-located with: POPL '15". | |
| Varianti del titolo: | Certified Programs and Proofs '15 |
| Proceedings of the 2015 Conference on Certified Programs and Proofs | |
| ISBN: | 9781450332965 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 007462893 |
| Localizzazioni e accesso elettronico | https://getitatduke.library.duke.edu/?sid=sersol&SS_jc=TC0001663905&title=CPP%20%2715%20%3A%20proceedings%20of%20the%202015%20ACM%20Conference%20on%20Certified%20Programs%20and%20Proofs%20%3A%20January%2013-14%2C%202015%2C%20Mumbai%2C%20India |
| Lo trovi qui: | Duke University |
| Item: | Permalink to OPAC |
Altra ed. diverso supporto:
Print version: CPP (Conference) (4th : 2015 : Mumbai, India) CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India. New York : ACM, 2015 9781450332965