Type-driven Development with Idris

Name: Type-driven Development with Idris
Brand: Manning Publications
SKU: 9781617293023
Price: 209.7 PLN
Availability: InStock

Autor: Edwin Brady

Język:

Oprawa: Miękka

Wydawca: Manning Publications

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

209.70 zł

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...

Informacje o książce

Autor

Edwin Brady

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2017

strony

480

EAN

9781617293023

ISBN

1617293024

Enbook ID

12404702

Wydawca

Manning Publications

Waga

812

Wymiary

235 x 191 x 25

Pełny opis

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Type-driven Development with Idris

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również