Skip to main content
4 stores Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Compared at 4 stores·New ·Updated 3 hours ago
Lowest $32.96Highest $110.01
Go to the $32.96 offer

Compare buying options

Five live offers. The cheapest is new.
Sold byDetailsSpecial savingsItem price
BI
BiggerBooksNew · updated 2 days ago
—
3.5% Cash Back
$32.96
Visit site
AM
AmazonNew · updated 3 hours ago
Free shipping
No Cash Back
$60.00
Visit site
EC
eCampusNew · updated 13 hours ago
—
4% Cash Back
$63.94
Visit site
EB
eBayNew
—
1.5% Cash Back
$89.04
Visit site

Set Price Drop

Get an alert as soon as it’s on sale.

Alert set

Your price
Lowest now$32.96

We’ll let you know when any store drops to your price or lower.

View price drops

Just For You

Stores we recommend, with today’s cash back rates.
See all stores
Boosted Cash BackBoosted
TemuActivate & Shop
Temu
Up to 40% Cash Back
Up to 30% Off Select Items
 Boosted Cash BackBoosted
Alo YogaActivate & Shop
Alo Yoga
4% Cash Back
Up to 40% Off Select Items
eBayActivate & Shop
eBay
Up to 1.5% Cash Back
10% Off Select Items
 Boosted Cash BackBoosted
The Home DepotActivate & Shop
The Home Depot
Up to 8% Cash Back
Up to 40% Off Select Items
 Boosted Cash BackBoosted
EtsyActivate & Shop
Etsy
3.7% Cash Back
Up to 75% Off Select Items
2ndSwingActivate & Shop
2ndSwing
2.5% Cash Back
Max & LIlyActivate & Shop
Max & LIly
1% Cash Back
 Boosted Cash BackBoosted
ChewyActivate & Shop
Chewy
10% Cash Back
50% Off First Autoship
 Boosted Cash BackBoosted
ZapposActivate & Shop
Zappos
15% Cash Back
50% Off Select Items
Lowe'sActivate & Shop
Lowe's
1.6% Cash Back
 Boosted Cash BackBoosted
New BalanceActivate & Shop
New Balance
5% Cash Back
25% Off Select Items
Hot TopicActivate & Shop
Hot Topic
1% Cash Back
20% Off