Apple
Store
Mac
iPad
iPhone
Watch
Vision
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Boro Sitnikovski
Books
Introducing Blockchain with Lisp
2021
Introduction to Dependent Types with Idris
2023
Introducing Software Verification with Dafny Language
2022