Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Brand: French Connection

Name: Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Brand: French Connection
Brand: tsfire.net
SKU: 11209493427
Price: 20.00 USD
Availability: InStock
Rating: 4.3258 (14 reviews)

SKU: 11209493427

4.3

USD20.00 USD49.00

Pay in 4 interest-free payments of $5.00 Learn more

Shipping Estimate
USA

USA

CAN

Ships within 48 hours · Estimated delivery Aug 8 - Aug 13

Description

Brand: French Connection

1998 paperback edition

Author: Hubert Fenwick

Material: Cardboard

with an introduction by Charles Burkhart

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Brand: French ConnectionDetails Type: Non Fiction, Paperback Condition description: slight damage to back cover as shown in the photos Title: Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 Edited by: Thornton Altenkirch Conor McBride ISBN: 9783540744634 Book year: 2007 Publisher: Springer Page count: 268 Genre: Academic, Science & Technology This item is being sold under the Retail Gift Aid scheme which enables us to increase the value of donations

Exchange/Return Notes