Title
Verified Functional Programming in Agda
Author
Stump, Aaron
ISBN
9781970001242
Title Name: | Verified Functional Programming in Agda |
---|---|
Author: | Stump, Aaron |
Publisher: | Eurospan |
ISBN: | 9781970001242 |
Substitute ISBN: | |
Stock Status: | PRINT ON DEMAND TITL |
Format: | PAPERBACK |
Product Type: | |
Publication Date: | 29/02/2016 |
Australian RRP (GST inc): | $135.30 |
New Zealand RRP (GST inc): | $148.83 |
Availability: | PRINT TO ORD |
Stock on order: | NO |
Order ETA date: | Unavailable |
Will stock be available after all backorders are fulfilled?: |
|
Warehouse ETA date: | Unavailable |
Indent ETA date: | DELIVERY WILL BE 5 TO 10 DAYS |