Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 20412
    ISBN: 9783319035451
    UPC: 10.1007/978-3-319-03545-1
    Title: Certified Programs and ProofsThird International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
    Author: Gonthier, Georges.
    Publication Info:
    Item Type: Language material

Additional Resources