Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Illustrator: Wolfgang Kaehler

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Illustrator: Wolfgang Kaehler

Name: Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Illustrator: Wolfgang Kaehler
Brand: www.monsurefest.com.br
SKU: 11209493427
Price: 20.00 USD
Availability: InStock
Rating: 4.5913 (16 reviews)

SKU: 11209493427

4.6

USD20.00 USD59.00

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

Shipping Estimate
USA

USA

CAN

Ships within 48 hours · Estimated delivery Aug 10 - Aug 15

Description

Illustrator: Wolfgang Kaehler

Condition description: No visible signs of wear

Material: Cardboard

Publisher: The Scottish Daily Express

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Illustrator: Wolfgang KaehlerDetails 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