Sale!

Adapting Proofs As Programs The Curry Howard Protocol

Name: Adapting Proofs As Programs The Curry Howard Protocol
SKU: 9780387237596
Price: 1737.00 INR
Availability: InStock

Original price was: ₹6,936.51.Current price is: ₹1,737.00.

+ Free Shipping

Author : Poernomo
Publisher : Springer
Publish Year : 2005
Subject : Computer Science

Availability: 1 in stock

SKU: 9780387237596 Category: Computer Science Tags: 2005, Poernomo, Springer

Weight	750 kg

Reviews

There are no reviews yet.

Be the first to review “Adapting Proofs As Programs The Curry Howard Protocol”

Microeconomics Theory And Applications
Rated 5.00 out of 5
Original price was: ₹450.00.Current price is: ₹360.00.
Hydraulics And Pneumatics
Rated 0 out of 5
Original price was: ₹545.00.Current price is: ₹436.00.
Advances In Statistical Decision Theory And Applications
Rated 0 out of 5
Original price was: ₹7,499.31.Current price is: ₹2,330.10.
Software Project Management A Unified Framework
Rated 0 out of 5
Original price was: ₹929.50.Current price is: ₹744.00.
Image Technology Design A Perceptual Approach
Rated 0 out of 5
Original price was: ₹795.00.Current price is: ₹636.00.