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

AnyBook4Less.com

Find the Best Price on the Web
Order from a Major Online Bookstore

Home | Store List | FAQ | Contact Us |

Ultimate Book Price Comparison Engine
Save Your Time And Money

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

Please fill out form in order to compare prices

Title: Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers (Lecture Notes in Computer Science, 996)
by International Workshop Types '9, Peter Dybjer, Bengt Nordstrom, Jan M. Smith
ISBN: 3-540-60579-7
Publisher: Springer-Verlag
Pub. Date: 01 June, 1995
Format: Paperback
Volumes: 1
List Price(USD): $64.95

Your Country
Currency
Delivery
Include Used Books
Are you a club member of: Barnes and Noble Books A Million Chapters.Indigo.ca

Thank you for visiting www.AnyBook4Less.com and enjoy your savings!