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

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
Dazzlingrock Collection 0.15 Carat (Ctw) Sterling Silver Round White Diamond Swirl Anniversary Wedding Stackable Band, Size 4
Dazzlingrock Collection 14K Round Cut Pink Sapphire & White Diamond Ladies Engagement Bridal Halo Ring, White Gold, Size 8.5
Dazzlingrock Collection 0.50 Carat (ctw) 14k Round Blue & White Diamond Swirl Bridal Engagement Ring Set, White Gold, Size 9
Great BIG Canvas | "Durnstein, Austria, Wachau Valley, Danube River, Durnstein Castle Window" Canvas Wall Art - 30x20