Aaron Stump All Books Verified Programming sku-53646765

Aaron Stump All Books listing: ACM Books: Verified Functional Programming in Agda. Hardcover. SKU sku-53646765.You may also like ACM Books: Verified Functional Programming in Agda (Paperback).

Shipping & Returns

Product image 1
Price unavailable
₮
Pay with cryptoInstantCheckout securely in USDT, USDC, BTC & more
USDTUSDCBTCETH