Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Condition description: No visible signs

Condition description: No visible signs of wear

1998 paperback edition

Illustrator: Wolfgang Kaehler

Brand: French Connection

with an introduction by Charles Burkhart

Types for Proofs and Programs International Workshop Types 2006 LNCS 4502 MF Tags Added Condition description: No visible signsDetails 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