A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Certified Programs and Proofs

Certified Programs and Proofs

€ 62,49

Certified Programs and Proofs — Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings. An English-language digital edition by Georges Gonthier (Editor); Michael Norrish (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2473726 Category:

Description

About this book

Certified Programs and Proofs — Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings. An English-language digital edition by Georges Gonthier (Editor); Michael Norrish (Editor), available in PDF.

Edition details

  • Author / contributors: Georges Gonthier (Editor); Michael Norrish (Editor)
  • Publisher: Springer International Publishing
  • Publication date: December 11, 2013
  • Language: English
  • ISBNs: 9783319035444; 9783319035451
  • Digital formats: PDF

Additional information

Author

Georges Gonthier (Editor); Michael Norrish (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319035444, 9783319035451
Format

PDF
Publication date

December 11, 2013
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Certified Programs and Proofs”

Your email address will not be published. Required fields are marked *

Related products