Buy books written by Boro Sitnikovski Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Boro Sitnikovski

Boro Sitnikovski

7 results found
List viewGrid view
Sort By:
1.
Introduction to Dependent Types with Idris
Introduction to Dependent Types with Idris
By: Boro Sitnikovski
Publisher: Apress
No Review Yet
AED124
Binding:
Paperback
Release:
18 Mar 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
2.
The Mirrors In Us
The Mirrors In Us
By: Boro Sitnikovski
Publisher: Lulu.com
No Review Yet
AED46
Binding:
Paperback
Release:
09 May 2025
Language:
English
International Edition
Ships within 10-12 Days Explain..
3.
Introduction to Dependent Types with Idris
Introduction to Dependent Types with Idris
By: Sitnikovski Boro Sitnikovski
Publisher: Springer Nature B.V.
No Review Yet
AED201
Binding:
Paperback
Release:
18 Mar 2023
Language:
English
International Edition
Ships within 10-12 Days Explain..
4.
Introducing Software Verification with Dafny Language
Introducing Software Verification with Dafny Language
By: Boro Sitnikovski
Publisher: Apress
No Review Yet
AED110
Binding:
Paperback
Release:
01 Mar 2022
Language:
English
International Edition
Ships within 10-12 Days Explain..
5.
Introducing Blockchain with Lisp
Introducing Blockchain with Lisp
By: Boro Sitnikovski
Publisher: Apress
No Review Yet
AED167
Binding:
Paperback
Release:
09 Apr 2021
Language:
English
International Edition
Ships within 10-12 Days Explain..
6.
Introducing Blockchain with Lisp
Introducing Blockchain with Lisp
By: Sitnikovski Boro Sitnikovski
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
13 Apr 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Gentle Introduction to Dependent Types with Idris
Gentle Introduction to Dependent Types with Idris
By: Boro Sitnikovski
Publisher: Createspace Independent Publishing Platform
No Review Yet
AED100
Binding:
Paperback
Release:
07 Sep 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found