Non-Fiction, Computing & Technology, Applications & Programming
Verified Functional Programming in Agda

Verified Functional Programming in Agda

Hardback Published on: 01/02/2016
£82.00
No reviews yet, be the first
Free UK delivery on orders over £25
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.
View other formats and editions

Publisher information

  • Publisher: Morgan & Claypool Publishers
  • ISBN: 9781970001273
  • Number of pages: 284
  • Dimensions: 234 x 190 x 17 mm
  • Weight: 633g
  • Languages: English

Customer Reviews