Books listed by ISBN
>
CreateSpace Independent Publishing Platform
> Boro Sitnikovski
Boro Sitnikovski
title
ISBN-13
(ISBN-10)
year of publication
Gentle Introduction to Dependent Types with Idris
978-1-7231-3941-3
(1-7231-3941-6)
2018
B.S.
·
Barry Stinson
·
Barry Switnicki
·
Byra Stanislawa
Borowska-Stefanska Maria