Home Page
Authors
Authors
Boro Sitnikovski - books and biography
Boro Sitnikovski - books and biography
1 product
Paperback
Clear all
1 product
Paper book «Introduction to Dependent Types with Idris: Encoding Program Proofs in Types», author Boro Sitnikovski – фото №1
0
0
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Boro Sitnikovski Boro Sitnikovski
Not available
0-800-335-425
Free of charge within Ukraine
7 days a week, 09:00-20:00
Mobile application
Read and listen to books in the largest library of eBooks and audiobooks from top Ukrainian and world authors
Yakaboo
Information
© Yakaboo 2004-2026. All rights reserved