Certified programs and proofs [electronic resource] : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
CPP (Conference) (3rd : 2013 : Melbourne, Vic.)
|
| Titolo: |
Certified programs and proofs [electronic resource] : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish
|
| Link to work: |
Certified programs and proofs
|
| Pubblicazione: |
Cham : Springer, 2013
|
| Estensione: | 1 online resource (xii, 309 pages) : illustrations |
| Tipo formato: | computer |
| Tipo contenuto: | text |
| Tipo supporto: | online resource |
| Disciplina: | 005.1015113 |
| Titolo uniforme di collana: | Lecture notes in computer science ; 8307. 0302-9743 |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues. | |
| Genere/Forma: | Electronic books |
| Classificazione LOC: | QA76.9.M35 |
| Creatori/Collaboratori: | Gonthier, Georges, [editor of compilation.] |
| Norrish, Michael, [editor of compilation.] | |
| Note generali: | International conference proceedings. |
| Includes author index. | |
| Restrizioni accesso: | Restricted for use by site license. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security. |
| Forme fisiche agg.: | Also available in print. |
| Requisiti sistema: | Mode of access: World Wide Web. |
| Collana: | Lecture Notes in Computer Science, 0302-9743 ; 8307 |
| LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| Varianti del titolo: | CPP 2013 |
| ISBN: | 9783319035451 (electronic bk.) |
| 3319035452 (electronic bk.) | |
| 9783319035444 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9962055803503681 |
| Localizzazioni e accesso elettronico | http://hdl.library.upenn.edu/1017.12/1323095 |
| Lo trovi qui: | University of Pennsylvania |
| Item: | Permalink to OPAC |