-
126. Introduction to Dependent Types With Idris
by Boro Sitnikovski
eBook See More Details
2023, Springer Nature
eBook ISBN: 9781484292587
Format: EPUB eBook
Digital download
$14.00
-
127. Trends in Functional Programming
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031213137
Format: EPUB eBook
Digital download
$15.00
-
128. Trends in Functional Programming
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031389375
Format: EPUB eBook
Digital download
$18.00
-
129. Quick Functional Programming
by David Matuszek
eBook See More Details
2023, Taylor & Francis
eBook ISBN: 9781032415321
Edition: 1st edition
Format: EPUB eBook
Digital download
$18.15
-
130. Linear Algebra With Python
by Makoto Tsukada; Yuji Kobayashi; Hiroshi Kaneko; Sin-Ei Takahasi; Kiyoshi Shirayanagi; Masato Noguchi
eBook See More Details
2023, Springer Nature
eBook ISBN: 9789819929504
Edition: 2023 edition
Format: EPUB eBook
Digital download
$19.50
-
131. Quick Functional Programming
by Matuszek, David
Seller Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. See More Details
2023, CRC Press
ISBN-13: 9781032415314
Softcover, Very Good
Austell, GA, USA
$26.98
-
132. Quick Functional Programming
by Matuszek, David
Seller Description: Fine. Trade paperback (US). Glued binding. 132 p. Contains: Unspecified, Illustrations, black & white, Line drawings, black & white, Tables, black & white. Quick Programming. 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 ... See More Details
2023, CRC Press
ISBN-13: 9781032415314
Trade paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$29.39
-
133. Introduction to Dependent Types With Idris
Seller Description: Brand New. New. See More Details
2023, APress
ISBN-13: 9781484292587
Paperback, New
New Delhi, DELHI, INDIA
$33.77
-
134. 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
-
135. Functional Programming in Go
by Dylan Meeus
eBook See More Details
2023, Packt Publishing
eBook ISBN: 9781801811163
Edition: 1st edition
Format: EPUB eBook
Digital download
$33.99
|
