Verified Functional Programming in Agda > Editions

by Aaron Stump

Sort by

Format

Language

Editions

Showing 1-5 of 5

Verified Functional Programming in Agda (ebook)

Published February 1st 2016 by ACM Books

ebook, 284 pages

Author(s):

ISBN:

9781970001259 (ISBN10: 1970001259)

ASIN:

1970001259

Average rating:

4.00 (3 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Verified Functional Programming in Agda (Kindle Edition)

Published August 7th 2016 by Association for Computing Machinery and Morgan & Claypool Publishers

Kindle Edition, 347 pages

Author(s):

ISBN:

9781970001266 (ISBN10: 1970001267)

ASIN:

B01K0MK318

Edition language:

English

Average rating:

3.00 (1 rating)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Verified Functional Programming in Agda (ACM Books)

Published February 1st 2016 by ACM Books

1, Paperback, 284 pages

Author(s):

ISBN:

9781970001242 (ISBN10: 1970001240)

ASIN:

1970001240

Edition language:

English

Average rating:

4.00 (1 rating)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Verified Functional Programming in Agda (Acm Books)

Published February 1st 2016 by Morgan & Claypool

1, Hardcover, 283 pages

Author(s):

ISBN:

9781970001273 (ISBN10: 1970001275)

ASIN:

1970001275

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Verified Functional Programming in Agda by Aaron Stump (2016-02-01)

Published January 1st 1737 by ACM Books

Paperback

Author(s):

ASIN:

B01K03H5ZO

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars