-
1. Introduction to Dependent Types With Idris
by Boro Sitnikovski
eBook See More Details
2023, Springer Nature
eBook ISBN: 9781484292587
Format: EPUB eBook
Digital download
$10.50
-
2. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: New. Contains: Illustrations, black & white. XVIII, 157 p. 139 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2023, APress
ISBN-13: 9781484292587
Paperback, New
Columbia, MD, USA
$33.87
-
3. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: New. Print on demand Contains: Illustrations, black & white. XVIII, 157 p. 139 illus. Intended for professional and scholarly audience. See More Details
2023, APress
ISBN-13: 9781484292587
Paperback, New
NV, USA
$35.88
-
4. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: New. Contains: Illustrations, black & white. XVIII, 157 p. 139 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers. See More Details
2023, APress
ISBN-13: 9781484292587
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$37.75
-
5. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: New. Contains: Illustrations, black & white. XVIII, 157 p. 139 illus. Intended for professional and scholarly audience. See More Details
2023, APress
ISBN-13: 9781484292587
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$37.76
-
6. Introduction to Dependent Types With Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2023, Apress
ISBN-13: 9781484292587
paperback, Good
Santa Clarita, CA, USA
$59.59
-
7. Introduction to Dependent Types With Idris: Encoding Program Proofs in Types
by Sitnikovski, Boro
Seller Description: New. See More Details
2023, Apress
ISBN-13: 9781484292587
paperback, New
Santa Clarita, CA, USA
$86.66
