Showing 1 - 3 results of 3 for search 'Sitnikovski, Boro', query time: 0.01s
Refine Results
-
1
Introducing blockchain with Lisp : implement and extend blockchains with the Racket language / by Sitnikovski, Boro
Published 2021Call Number: Loading…CONNECT
Located: Loading…
Electronic eBook -
2
Introducing software verification with Dafny language : proving program correctness / by Sitnikovski, Boro
Published 2022Call Number: Loading…CONNECT
Located: Loading…
Electronic eBook -
3
Introduction to dependent types with Idris : encoding program proofs in types / by Sitnikovski, Boro
Published 2023Call Number: Loading…CONNECT
Located: Loading…
Electronic eBook