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

Verified Functional Programming in Agda

Contributor(s): Author Format: Hardback

Hardback ยท ISBN 9781970001273

โ‚น11,518

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 9781970001273
Publisher ACM Books
Publication date February 2016
Language English
MRP ยฃ82.00 GBP
Page count 284
Item weight 155 g

Verified Functional Programming in Agda published by ACM Books.