1.
Types for Proofs And Programs International Workshop, Types 2004, Jouy-en-josas, France, Dec...
by Filliatre, Jean-Christophe,...
ISBN: 9783540314288
List Price: $63.00
2.
Interactive Theorem Proving : 4th International Conference, Itp 2013, Rennes, France, July 2...
by Blazy, Sandrine, Paulin-Moh...
ISBN: 9783642396359
List Price: $24.99
OUT OF STOCK
See Availability on Amazon3.
Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 1...
by Gimenez, Eduardo, Paulin-Mo...
ISBN: 9783662200575
List Price: $24.99