Books > Self Service > Special Features Stores > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_0 > 34875086-8a6a-4dfe-b095-4d85fb30b3ba_1301 > New, Used & Rental Textbooks > Computer Science > Programming Languages
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Product ID: 0387237593
Condition: New
Payflex: Pay in 4 interest-free payments of R977.50. Read the FAQ
R 3,910
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Hardcover
PartNumber
Refer to Sapnet.
Model
Refer to Sapnet.
Height
9.21
Length
6.14
Weight
3.8139971326
Width
0.94
ReleaseDate
2005-06-21T00:00:01Z
NumberOfItems
1
