Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 18496
    ISBN: 9783540314295
    UPC: 10.1007/11617990
    Title: Types for Proofs and ProgramsInternational Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Author: Filliâtre, Jean-Christophe.
    Publication Info:
    Item Type: Language material

Additional Resources