Books by Boro Sitnikovski

Boro Sitnikovski
Average rating 4.00 · 14 ratings · 3 reviews · shelved 54 times

Showing 6 distinct works.

	Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski (Goodreads Author) 4.40 avg rating — 10 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Boro Sitnikovski (Goodreads Author) liked it 3.00 avg rating — 2 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Software Verification with Dafny Language by Boro Sitnikovski (Goodreads Author) liked it 3.00 avg rating — 2 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Software Verification with Dafny Language: Proving Program Correctness by Boro Sitnikovski (Goodreads Author) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language by Boro Sitnikovski (Goodreads Author) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Mirrors In Us by Boro Sitnikovski (Goodreads Author) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.