logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings by Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) ISBN 9783319035444, 9783319035451, 3319035444, 3319035452

  • SKU: EBN-4601950
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

4.7

16 reviews
Instant download (eBook) Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings after payment.
Authors:Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.)
Pages:309 pages.
Year:2013
Editon:1
Publisher:Springer International Publishing
Language:english
File Size:3.54 MB
Format:pdf
ISBNS:9783319035444, 9783319035451, 3319035444, 3319035452
Categories: Ebooks

Product desciption

(Ebook) Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings by Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) ISBN 9783319035444, 9783319035451, 3319035444, 3319035452

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.
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings by Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.) ISBN 9783319035444, 9783319035451, 3319035444, 3319035452

4.7

16 reviews
$40 $32
-20%

(Ebook) Matematik 5000+ Kurs 2c Lärobok by Lena Alfredsson, Hans Heikne, Sanna Bodemyr ISBN 9789127456600, 9127456609

4.6

12 reviews
$40 $32
-20%

(Ebook) SAT II Success MATH 1C and 2C 2002 (Peterson's SAT II Success) by Peterson's ISBN 9780768906677, 0768906679

$40 $32
-20%

(Ebook) Master SAT II Math 1c and 2c 4th ed (Arco Master the SAT Subject Test: Math Levels 1 & 2) by Arco ISBN 9780768923049, 0768923042

4.7

9 reviews
$40 $32
-20%

(Ebook) Cambridge IGCSE and O Level History Workbook 2C - Depth Study: the United States, 1919-41 2nd Edition by Benjamin Harrison ISBN 9781398375147, 9781398375048, 1398375144, 1398375047

$40 $32
-20%

(Ebook) Web Information Systems Engineering – WISE 2021: 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26-29, 2021 Proceedings, Part I by Wenjie Zhang, Lei Zou, Zakaria Maamar, Lu Chen, (eds.) ISBN 9783030908874, 3030908879

4.5

30 reviews
$40 $32
-20%

(Ebook) Smart Card Research and Advanced Applications: 12th International Conference, CARDIS 2013, Berlin, Germany, November 27-29, 2013. Revised Selected Papers by Aurélien Francillon, Pankaj Rohatgi (eds.) ISBN 9783319083018, 9783319083025, 3319083015, 3319083023

4.4

40 reviews
$40 $32
-20%

(Ebook) Information Security and Cryptology -- ICISC 2013: 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers by Hyang-Sook Lee, Dong-Guk Han (eds.) ISBN 9783319121598, 9783319121604, 3319121596, 331912160X

4.6

6 reviews
$40 $32
-20%

(Ebook) Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers by Shaoying Liu, Zhenhua Duan (eds.) ISBN 9783319049144, 9783319049151, 3319049143, 3319049151

4.4

21 reviews
$40 $32