Prezentarea autorului Boro Sitnikovski:

Cărțile publicate de Boro Sitnikovski până acum:

Introducing Blockchain with LISP: Implementați și extindeți Blockchains cu limbajul Racket -...

Apress

Implementați blockchain de la zero, acoperind toate...

Introducing Blockchain with LISP: Implementați și extindeți Blockchains cu limbajul Racket - Introducing Blockchain with LISP: Implement and Extend Blockchains with the Racket Language

Introducing Software Verification with Dafny Language: Demonstrarea corectitudinii programului -...

Apress

Faceți cunoștință cu verificarea software-ului și...

Introducing Software Verification with Dafny Language: Demonstrarea corectitudinii programului - Introducing Software Verification with Dafny Language: Proving Program Correctness

Introducere în tipurile dependente cu Idris: Codificarea probelor de program în tipuri -...

Apress

Tipurile dependente sunt un concept care le permite...

Introducere în tipurile dependente cu Idris: Codificarea probelor de program în tipuri - Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)