Головна
Автори
Автори
Боро Ситниковський – книги і біографія
Боро Ситниковський – книги і біографія
1 товар
1 товар
Паперова книга «Introduction to Dependent Types with Idris: Encoding Program Proofs in Types», автор Боро Ситниковський – фото №1
0
0
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Боро Ситниковський Боро Ситниковський
Немає в наявності