Carte Certified Programs and Proofs Georges Gonthier

Certified Programs and Proofs

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

Limbă: engleză
Legare: Carte broșată
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

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2013
Pagini
309
EAN
9783319035444
ISBN
3319035444
Enbook ID
02207279
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

Don't Pet The Dragon

C Michael Davis
93.71 lei
123.07 lei
136.09 lei
47.31 lei
110.66 lei

Gardens of Green

Lynn M. Dixon
65.77 lei

Warrior Mother

Sheila Collins
73.34 lei
94.32 lei
174.62 lei
1 009.06 lei
207.51 lei
156.06 lei

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

Chroniques dilettantes

Philippe Bélaval
181.28 lei
93.11 lei

Feng Shui 2016

Adrien Silverstone
92.20 lei
158.59 lei