Author: Boro Sitnikovski

Sort by
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Front Cover

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

by
  • Length: 175 pages
  • Publication Date: 2023-04-03
4.3 (6)
Introducing Software Verification with Dafny Language: Proving Program Correctness Front Cover

Introducing Software Verification with Dafny Language: Proving Program Correctness

by
  • Length: 151 pages
  • Publication Date: 2022-03-30
0 (0)
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language Front Cover

Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language

by
  • Length: 156 pages
  • Publication Date: 2021-05-05
0 (0)