Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Pa, (Paperback)

Name: Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Pa, (Paperback)
Brand: Stefano Berardi
SKU: prod_0c6d59f129395bd2376fba19
Price: 121.00 USD
Availability: InStock

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Pa, (Paperback) Author: Springer ISBN: 9783642024436 Format: Paperback Publication Date: 2009-06-19 Page Count: 323

Shipping & Returns

Price unavailable

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Pa, (Paperback)—

$121.00

Price unavailable

Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Pa, (Paperback)—

$121.00