Cover of Verified Functional Programming in Agda by Stump, Aaron, ISBN 9781970001242
Computer Science

Verified Functional Programming in Agda

Contributor(s): Author Format: Paperback

Paperback ยท ISBN 9781970001242

โ‚น9,271

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9781970001242
Publisher ACM Books
Publication date February 2016
Language English
MRP ยฃ66.00 GBP
Page count 284
Item weight 109 g

Verified Functional Programming in Agda published by ACM Books.