Books by Boro Sitnikovski
No products found matching the selection.
-20%
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier
-20%
Introducing Software Verification with Dafny Language: Proving Program Correctness
€40.64
€50.80
-20% with code BOOKS
In stock at our supplier
-20%
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
€43.10
€53.88
-20% with code BOOKS
In stock at our supplier
