Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
| PUBLISHER | Springer (06/19/2009) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9783642024436
ISBN-10:
3642024432
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
323
Carton Quantity:
24
Product Dimensions:
6.43 x 0.77 x 9.27 inches
Weight:
1.10 pound(s)
Country of Origin:
DE
Subject Information
BISAC Categories
Computers | Logic Design
Computers | Languages - General
Computers | Logic
Dewey Decimal:
511.302
List Price $54.99
Your Price
$54.44