Home
Antiques & Collectibles
General
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307 by Georges Gonthier - Paperback

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307 by Georges Gonthier - Paperback

AED0.00

(0) Write a Review

SKU:: 9783319035444
UPC:: 9783319035444

Current Stock:

Product Description

ISBN: 9783319035444
TITLE: Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307
AUTHOR: Georges Gonthier
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 18 Nov 2013

Other Details

ISBN:

9783319035444

Author:

Georges Gonthier

Publisher:

Springer International Publishing AG

Publisher Date:

Published:18 Nov 2013

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307 by Georges Gonthier - Paperback

Product Description

Other Details

Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings : 8301 by Chung-chien Shan - Paperback

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings : 7086 by Jean-Pierre Jouannaud - Paperback

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings : 7679 by Chris Hawblitzel - Paperback

Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9???11, 2019, Proceedings, Part II : 11945 by Sheng Wen - Paperback

Information Security Practice and Experience : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13???15, 2017, Proceedings : 10701 by Joseph K. Liu - Paperback

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307 by Georges Gonthier - Paperback

Write a Review

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings : 8307 by Georges Gonthier - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings : 8301 by Chung-chien Shan - Paperback

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings : 7086 by Jean-Pierre Jouannaud - Paperback

Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings : 7679 by Chris Hawblitzel - Paperback

Algorithms and Architectures for Parallel Processing : 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9???11, 2019, Proceedings, Part II : 11945 by Sheng Wen - Paperback

Information Security Practice and Experience : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13???15, 2017, Proceedings : 10701 by Joseph K. Liu - Paperback