Sale!

Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.

Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski Digital Instant Download

Author(s): Boro Sitnikovski
ISBN(s): 9781723139413, 1723139416
Edition: 1
File Details: PDF, 637 KB
Year: 2018
Language: English
SKU: EB-50945854 Category: Tag:

Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski – Ebook Instant Download/Delivery ISBN(s): 9781723139413,1723139416

You may also like…

Sale!
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st Edition by Boro Sitnikovski 1484269683 9781484272541
Quick View

Computers - Programming

Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st Edition by Boro Sitnikovski 1484269683 9781484272541

Original price was: $50.00.Current price is: $25.00.
Sale!
Machine Learning Simplified A Gentle Introduction to Supervised Learning by Andrew
Quick View

Computers - Algorithms and Data Structures

Machine Learning Simplified A Gentle Introduction to Supervised Learning by Andrew

Original price was: $50.00.Current price is: $25.00.
Sale!
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Dive Into Systems A Gentle Introduction to Computer Systems 1st Edition Suzanne J. Matthews
Quick View

Uncategorized

Dive Into Systems A Gentle Introduction to Computer Systems 1st Edition Suzanne J. Matthews

Original price was: $50.00.Current price is: $25.00.
Sale!
Financial Theory with Python: A Gentle Introduction 1st Edition Yves Hilpisch
Quick View

Business & Economics

Financial Theory with Python: A Gentle Introduction 1st Edition Yves Hilpisch

Original price was: $50.00.Current price is: $25.00.
Sale!
A Gentle Introduction to SuperCollider 2nd Edition Bruno Ruviaro
Quick View

Uncategorized

A Gentle Introduction to SuperCollider 2nd Edition Bruno Ruviaro

Original price was: $50.00.Current price is: $25.00.
Sale!
Dive Into Systems A Gentle Introduction to Computer Systems 1st Edition Suzanne J. Matthews
Quick View

Uncategorized

Dive Into Systems A Gentle Introduction to Computer Systems 1st Edition Suzanne J. Matthews

Original price was: $50.00.Current price is: $25.00.
Sale!
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Introducing Software Verification with Dafny Language: Proving Program Correctness 1st Edition Boro Sitnikovski
Quick View

Computers - Programming

Introducing Software Verification with Dafny Language: Proving Program Correctness 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.