Fortæl dine venner om denne vare:
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st edition
Boro Sitnikovski
Pris
₪ 233,75
Bestilles fra fjernlager
Forventes klar til forsendelse 5. - 11. aug.
Tilføj til din iMusic ønskeseddel
Eller
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st edition
Boro Sitnikovski
145 pages, 7 Illustrations, color; 83 Illustrations, black and white; XI, 145 p. 90 illus., 7 illus.
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 9. april 2021 |
| ISBN13 | 9781484269688 |
| Forlag | APress |
| Antal sider | 145 |
| Mål | 155 × 233 × 13 mm · 260 g |
| Sprog | Engelsk |
![Cover for Boro Sitnikovski · Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Paperback Bog) [1st edition] (2023)](https://imusic.b-cdn.net/images/item/original/587/9781484292587.jpg?boro-sitnikovski-2023-introduction-to-dependent-types-with-idris-encoding-program-proofs-in-types-paperback-bog&class=scaled&v=1696457922)
![Cover for Boro Sitnikovski · Introducing Software Verification with Dafny Language: Proving Program Correctness (Paperback Bog) [1st edition] (2022)](https://imusic.b-cdn.net/images/item/original/779/9781484279779.jpg?boro-sitnikovski-2022-introducing-software-verification-with-dafny-language-proving-program-correctness-paperback-bog&class=scaled&v=1649763994)