Vai al contenuto principale della pagina

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 Visualizza cluster
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