Certified Programs and Proofs

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

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

Autor: Georges Gonthier, Michael Norrish

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.28 zł

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

Informacje o książce

Autor

Georges Gonthier, Michael Norrish

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2013

strony

309

EAN

9783319035444

ISBN

3319035444

Enbook ID

02207279

Wydawca

Springer International Publishing AG

Waga

498

Wymiary

155 x 235 x 18

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Certified Programs and Proofs

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również