|
|

avaa valikko

Boro Sitnikovski | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Introducing Blockchain with Lisp
Boro Sitnikovski, Sitnikovski
Springer Nature B.V.
2021
Pehmeäkantinen kirja
Introducing Blockchain with Lisp
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
118,70 €
Introduction to Dependent Types with Idris
Boro Sitnikovski, Sitnikovski
Springer Nature B.V.
2023
Pehmeäkantinen kirja
Introduction to Dependent Types with Idris
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
101,00 €
Introducing Blockchain with Lisp : Implement and Extend Blockchains with the Racket Language
Sitnikovski, Boro
Apress
2021
Pehmeäkantinen kirja
Introducing Blockchain with Lisp : Implement and Extend Blockchains with the Racket Language
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
47,70 €
Introducing Software Verification with Dafny Language : Proving Program Correctness
Sitnikovski, Boro
Apress
2022
Pehmeäkantinen kirja
Introducing Software Verification with Dafny Language : Proving Program Correctness
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
29,20 €
Introduction to Dependent Types with Idris : Encoding Program Proofs in Types
Sitnikovski, Boro
Apress
2023
Pehmeäkantinen kirja
Introduction to Dependent Types with Idris : Encoding Program Proofs in Types
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
30,80 €