ACM Books: Verified Functional Programming in Agda (Paperback)

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

Shipping & Returns

Price unavailable

ACM Books: Verified Functional Programming in Agda (Paperback)—

$164.00

Price unavailable

ACM Books: Verified Functional Programming in Agda (Paperback)—

$164.00

Related products

You might also want to check out these products.

Dazzlingrock Collection 1.25 Carat (ctw) 14k Princess Diamond Ladies 3 Stone Bridal Engagement Ring Set 1 1/4 CT, White Gold, Size 5.5
Milliken Imagine Area Rug MERIT Merit Mink Achromatic Single-Color 2' 1" x 7' 8" Rectangle
PinMart's South Dakota and USA Crossed Friendship Flag Enamel Lapel Pin
Dazzlingrock Collection 0.75 Carat (Ctw) 14k Round Diamond Ladies Bridal Semi Mount Ring Set (No Center Stone), White Gold, Size 5.5
Historic Mine Map - New River Coal Field West VA - Hotchkiss 1880 - 23 x 32 - Vintage Wall Art
Dazzlingrock Collection 0.33 Carat (ctw) Sterling Silver Diamond Ladies Micro Pave Twisted Engagement Ring Set 1/3 CT, Size 6.5
Dazzlingrock Collection 0.15 Carat (ctw) 14K Round Pink Sapphire Ladies Anniversary Wedding Stackable Ring, White Gold, Size 8
Dazzlingrock Collection 0.15 Carat (Ctw) Sterling Silver Round White Diamond Swirl Anniversary Wedding Stackable Band, Size 4