Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 32379
    ISBN: 9783642353086
    UPC: 10.1007/978-3-642-35308-6
    Title: Certified Programs and ProofsSecond International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
    Author: Hawblitzel, Chris.
    Publication Info:
    Item Type: Language material

Additional Resources