Boro Sitnikovski
Beliebte Artikel von Boro Sitnikovski
Alle Angebote anzeigen-
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language
Sitnikovski, Boro
Artikelpreise ab
5 Angebote anzeigenEUR 22,47
-
Introducing Software Verification with Dafny Language: Proving Program Correctness
Sitnikovski, Boro
Artikelpreise ab
4 Angebote anzeigenEUR 30,82
-
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
Sitnikovski, Boro
Artikelpreise ab
3 Angebote anzeigenEUR 36,87
Entdecken Sie auch
Neu
