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
You might also like
Send Help
Hoppers
Avatar: Fire and Ash - (Bonus X-Ray Edition)
GOAT
Dysautonomia, POTS Syndrome: Diagnosis, symptoms, treatment, causes, doctors, nervous disorders, prognosis, research, history, diet, physical therapy, medication, environment, and more all covered!
Wonders of Houston: A Photo Collection of the City’s Most Beautiful Places to See – A Stunning Coffee Table Travel Photobook (Full-Color)
Rand McNally Houston TX Street Map
The Texas Triangle: Everything You Need To Know About Houston, Austin, San Antonio, and Dallas! (The Best Texas Series)