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
Shipping & Returns

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







