Certified Programs and Proofs

Name: Certified Programs and Proofs
Brand: Springer International Publishing AG
SKU: 9783319035444
Price: 276.72 RON
Availability: InStock

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Autor: Georges Gonthier, Michael Norrish

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.72 lei

This book constitutes the refereed proceedings of the Third International Conference on Certified Pr...

Informații despre carte

Autor

Georges Gonthier, Michael Norrish

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

309

EAN

9783319035444

ISBN

3319035444

Enbook ID

02207279

Editura

Springer International Publishing AG

Greutate

498

Dimensiuni

155 x 235 x 18

Descriere completă

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 in code verification, elegant proofs, proof libraries, certified transformations and security.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și