Certified Programs and Proofs

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

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

Автор: Georges Gonthier, Michael Norrish

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.82 € 103.30 лв

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

Информация за книгата

Автор

Georges Gonthier, Michael Norrish

Език

Английски език

Корици

Книга - С меки корици

Издадена

2013

страници

309

EAN

9783319035444

ISBN

3319035444

Enbook ID

02207279

Издател

Springer International Publishing AG

Теглоt

498

Размери

155 x 235 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Certified Programs and Proofs

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също