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

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers: 996 (Lecture Notes in Computer Science)

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers: 996 (Lecture Notes in Computer Science)

by JanSmith (Author), PeterDybjer (Author), Bengt Nordstr ? ?m (Author)

$63.48

Quantity

10 in stock

More Information

Format: Paperback
 Pages: 220
 Edition: 1995
 Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540605797
ISBN 13: 9783540605799