Search Results - U - Books - In Stock - £20 to £35 - Sitnikovski, Boro
Licence From
£27.99
Special order line: only available to educational & business accounts. Sign In

Introduction to Dependent Types With Idris: Encoding Program Proofs in Types

Ebook 17 Mar 2023
Publisher Apress
ISBN: 9781484292594
Dewey: 005.133
Licence From
£29.99
Special order line: only available to educational & business accounts. Sign In
Page 1 of 1