Verified Functional Programming in Agda by Aaron StumpVerified Functional Programming in Agda by Aaron Stump

Verified Functional Programming in Agda

byAaron Stump

Paperback | February 1, 2016

Pricing and Purchase Info

$103.62 online 
$105.50 list price
Earn 518 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Verified Functional Programming in AgdaFormat:PaperbackDimensions:284 pages, 9.25 × 7.5 × 0.6 inPublished:February 1, 2016Publisher:Morgan & Claypool Publishers LLC-ACMLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1970001240

ISBN - 13:9781970001242

Look for similar items by category:

Reviews