Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

Name: Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)
Brand: Independently published

£22.37

Pages: 226, Hardcover, Independently published

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

catalogue.description

Price now:

£22.37

Amazon

Shop

Similar Products

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

Amazon

£22.37

View All

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

Amazon

£14.92

View All

NYX Professional Makeup Can't Stop Won't Stop Mattifying Lightweight Powder - Caramel

Debenhams

£7.20

£9.00

View All

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

Amazon

£29.99

View All

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming

Amazon

£30.86

View All

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

£22.37

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages)

£22.37

Prices

£22.37

Similar Products