Type-Driven Development with Idris by Edwin Brady (English) Paperback Book
45.99 GBP
Dive into Idris with this guide that blends theory and practice, showcasing how type-driven design eliminates bugs, supports formal verification, and enables expressive, safe code for experts.
Share: ![]()
![]()
![]()
![]()
![]()
![]()
WHSmith | Brand | Manning Publications |
| ASIN | 1617293024 |
| ISBN | 1617293024 |
| EAN | 9781617293023 |
| Country of publication | UNITED STATES |
| Dimensions | (H) 235mm, (W) 188mm, (D) 25mm |
| Imprint | Manning Publications |
| ISBN | 9781617293023 |
| Languages | English |
| Page count | 480 |
| Publisher | Pearson Professional Education |
| Status | In Print |
| Target audience | Professional and scholarly |
| Weight | 824 grams |
