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

₹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”