Prezentacja autora Boro Sitnikovski:

Dotychczas wydane książki Boro Sitnikovski:

Wprowadzenie do Blockchain z LISP: Implementuj i rozszerzaj łańcuchy bloków za pomocą języka Racket...
Apress
Zaimplementuj blockchain od podstaw, omawiając...
Wprowadzenie do Blockchain z LISP: Implementuj i rozszerzaj łańcuchy bloków za pomocą języka Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language
Wprowadzenie do weryfikacji oprogramowania za pomocą języka Dafny: Dowodzenie poprawności programu -...
Apress
Zapoznaj się z weryfikacją oprogramowania i...
Wprowadzenie do weryfikacji oprogramowania za pomocą języka Dafny: Dowodzenie poprawności programu - Introducing Software Verification with Dafny Language: Proving Program Correctness
Wprowadzenie do typów zależnych z Idris: kodowanie dowodów programu w typach - Introduction to...
Apress
Typy zależne to koncepcja, która pozwala...
Wprowadzenie do typów zależnych z Idris: kodowanie dowodów programu w typach - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types
<<
1
>>