Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Choose a Color
Choose a Size
| Sold By | Details & Special Savings | Special Savings | Item Price | |
|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Product Description
Set Price Drop
Get an alert as soon as it’s on sale.
Price History
Over the past 60 days on Amazon
Average
Volatility
