Compare introduction to dependent types with idris - 9781484292587 products from over 5,000 stores

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

Name: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Brand: Apress

From

£24.94

Pages: 175, Edition: First Edition, Paperback, Apress

Pages: 175, Edition: First Edition, Paperback, Apress

Price now:

From

£24.94	eBay	Shop
£29.97	Amazon	Shop

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

Amazon

£29.97

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Amazon

£45.31

Gene Therapy: Introduction and types of Gene Therapy

Amazon

£35.53

£38.00

Types of Christian Mission: An Introduction

Amazon

£26.45

£30.00

Information Theory: A Tutorial Introduction

Amazon

£66.43

£69.95