Sale!
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski
Original price was: $50.00.$25.00Current price is: $25.00.
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski Digital Instant Download
ISBN(s): 9781484292594, 1484292596
Edition: 1
File Details: EPUB, 671 KB
Year: 2023
Language: English
This completed downloadable of
Instant downloaded pdf docx epub after payment.
Product details:
- ISBN-10:
- ISBN-13:
- Author:
Table of contents:
People also search:
You may also like…
Sale!
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Computers - Programming
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Medicine - Medicine & Nursing Test Prep
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Original price was: $50.00.$24.50Current price is: $24.50.
Sale!
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Computers - Programming
C How to Program: With Case Studies in Applications and Systems Programming Global Edition
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Original price was: $50.00.$25.00Current price is: $25.00.
Sale!
Uncategorized
Original price was: $50.00.$24.50Current price is: $24.50.