This website is currently under construction. Please note that no orders will be processed or fulfilled at this time. We appreciate your patience and understanding.

1 0

Adapting Proofs-as-programs : The Curry-howard Protocol

Name: Adapting Proofs-as-programs : The Curry-howard Protocol
Brand: Delhi Book Store
SKU: 9780387237596
Price: 10056.00 INR
Availability: InStock

SKU:9780387237596

Rs. 10,056.00

~~Rs. 14,297.00~~ Rs. 10,056.00

Sale Sold out

View full details

Item added to your cart

Adapting Proofs-as-programs : The Curry-howard Protocol

Adapting Proofs-as-programs : The Curry-howard Protocol

Language