Boro Sitnikovski · OverDrive: ebooks, audiobooks, and more for libraries and schools

cover image of Introduction to Dependent Types with Idris

Introduction to Dependent...

Boro Sitnikovski Author
(2023)

cover image of Introducing Blockchain with Lisp

Introducing Blockchain with Lisp

Boro Sitnikovski Author
(2021)

cover image of Introducing Software Verification with Dafny Language

Introducing Software...

Boro Sitnikovski Author
(2022)

Copyright 2024 - All Rights Reserved

Privacy Policy | Terms & Conditions | Accessibility |

Instagram

YouTube