Sale!

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.

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

Author(s): Boro Sitnikovski
ISBN(s): 9781484292587, 1484292588
Edition: 1
File Details: PDF, 5.77 MB
Year: 2023
Language: English
SKU: EB-49406058 Category: Tag:

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski – Ebook Instant Download/Delivery ISBN(s): 9781484292587,1484292588

You may also like…

Sale!
Programming With Types 1st Edition Vlad Riscutia
Quick View

Computers - Programming

Programming With Types 1st Edition Vlad Riscutia

Original price was: $50.00.Current price is: $25.00.
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!
Atlas of Vulvovaginal Disease in Darker Skin Types Nina Madnani (Editor)
Quick View

Medicine - Dermatology

Atlas of Vulvovaginal Disease in Darker Skin Types Nina Madnani (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski
Quick View

Uncategorized

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

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!
Seafood 101: How to Cook All Types of Seafood in Many Ways 2nd Edition Booksumo Press
Quick View

Uncategorized

Seafood 101: How to Cook All Types of Seafood in Many Ways 2nd Edition Booksumo Press

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.
Sale!
Lemonade: A Lemonade Cookbook with All Types of Delicious Lemonades 2nd Edition Booksumo Press
Quick View

Uncategorized

Lemonade: A Lemonade Cookbook with All Types of Delicious Lemonades 2nd Edition Booksumo Press

Original price was: $50.00.Current price is: $25.00.
Sale!
Program Proofs 1st Edition K. Rustan M. Leino
Quick View

Uncategorized

Program Proofs 1st Edition K. Rustan M. Leino

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