Vai al contenuto principale della pagina

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