The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers: 2277 (Lecture Notes in Computer Science)

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers: 2277 (Lecture Notes in Computer Science)

by RobertPollack (Author), PaulCallaghan (Author), ZhaohuiLuo (Author), JamesMcKinna (Author)

$74.98

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 256
 Edition: 2002
 Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540432876
ISBN 13: 9783540432876