ACM Books: Verified Functional Programming in Agda (Paperback)

Name: ACM Books: Verified Functional Programming in Agda (Paperback)
Brand: Aaron Stump
SKU: prod_b07ea1e2bc0d57e70c09461c
Price: 96.94 USD
Availability: InStock

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

Shipping & Returns

Price unavailable

₮

Pay with cryptoInstantCheckout securely in USDT, USDC, BTC & more

USDTUSDCBTCETH

Price unavailable

₮

Pay with cryptoInstantCheckout securely in USDT, USDC, BTC & more

USDTUSDCBTCETH