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): 9781484292594, 1484292596
Edition: 1
File Details: EPUB, 671 KB
Year: 2023
Language: English
SKU: EB-48230448 Category: Tag:

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

You may also like…

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 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!
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!
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!
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!
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!
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.
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!
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.