Types for Proofs and Programs: International Workshop, TYPES...

Cover Type: Paperback with 296 pages
Published by: Springer
Edition: 1st Edition November 8, 1996
Written in: English
ISBN 10 Number: 3540617809
ISBN 13 Number: 978-3540617808
Book Dimensions: 9.2 x 6 x 0.6 inches
Weighs: 1 pounds <a href="http://www.amazon.com/gp/help/seller/shipping.html/104-4081021-6947946?ie=UTF8&asin=3540617809&amp;seller=ATVPDKIK">

Buy Types for Proofs and Programs: International Workshop, TYPES... here, one of many AIX books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > AIX > Item 343

	Types for Proofs and Programs: International Workshop, TYPES...
	by Stefano Berardi and Mario Coppo Sales Rank: 4033528	$74.95 At Amazon on 9-8-2008.

*Features* Cover Type: Paperback with 296 pages Published by: Springer Edition: 1st Edition November 8, 1996 Written in: English ISBN 10 Number: 3540617809 ISBN 13 Number: 978-3540617808 Book Dimensions: 9.2 x 6 x 0.6 inches Weighs: 1 pounds Back To Top
Types for Proofs and Programs: International Workshop, TYPES... ~~List Price: $74.95~~ Available from Amazon Price: $74.95 Updated on 9-8-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Types for Proofs and Programs: International Workshop, TYPES... and other related AIX Books here at Rbookshop.com. To view more books about AIX please use the previous and next buttons near the top of this page.