Info
Introducing blockchain with Lisp : implement and extend blockchains with the Racket language / / Boro Sitnikovski
| Introducing blockchain with Lisp : implement and extend blockchains with the Racket language / / Boro Sitnikovski |
| Autore | Sitnikovski Boro |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Apress, , [2021] |
| Descrizione fisica | 1 online resource (151 pages) |
| Disciplina | 005.74 |
| Soggetto topico |
Blockchains (Databases)
Racket (Computer program language) |
| ISBN | 1-4842-6969-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484722403321 |
Sitnikovski Boro
|
||
| [Place of publication not identified] : , : Apress, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Dependent Types with Idris : Encoding Program Proofs in Types / / by Boro Sitnikovski
| Introduction to Dependent Types with Idris : Encoding Program Proofs in Types / / by Boro Sitnikovski |
| Autore | Sitnikovski Boro |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (XVIII, 157 p. 139 illus.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Programming Language Software Engineering |
| ISBN |
9781484292594
1484292596 9781484292587 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Formal Systems -- Chapter 2: Classical Mathematical Logic -- Chapter 3: Type Theory -- Chapter 4: Programming in Idris -- Chapter 5: Proving in Idris. |
| Record Nr. | UNINA-9910682569803321 |
|
Sitnikovski Boro
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||