Little Typer

(0) | Klausimai ir atsakymai (0)

Specifikacijos:

Autorius:	Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor McBride
Puslapių skaičius:	424, Nenurodyta
Leidimo metai:	2018
Prekės ID:	59708618

Daugiau informacijos

73⁰⁰ €

Pardavėjas: Knygynas Krisostomus 4.9

Kitų pardavėjų pasiūlymai (1):

87⁹⁹ €

Į krepšelį

5⁴⁹ € / mėn.

Lizingo skaičiuoklė

Skolinantis 73⁰⁰ €, sutartį sudarant 18 mėn. laikotarpiui, mėn. įmoka - 5⁴⁹ €, metinė palūkanų norma - 25,20%, mėn. sutarties administravimo mokestis - 0.6%, sutarties sudarymo mokestis - 3%, BVKKMN - 49,20%, bendra vartojimo kredito gavėjo mokama suma - 98⁸² €.
Paslaugos teikėjas: „AS Inbank filialas“.

3 x 24³⁴ €

Be pabrangimo

Jūsų miestas

Vilniuje, parduotuvėje (Laisvės pr. 75)

Balandžio 16 d.

0⁰⁰ €

Vilniuje, parduotuvėje (Upės g. 9 (PC „CUP“))

Balandžio 16 d.

0⁰⁰ €

Kaune, Klaipėdoje, Šiauliuose, Panevėžyje, parduotuvėje

Balandžio 16 d.

0⁰⁰ €

Atsiimkite Omniva paštomate

Balandžio 16 d.

2⁶⁵ €

Atsiimkite SmartPosti terminale

Balandžio 16 d.

2⁶⁹ €

Pristatysime į namus

Balandžio 16 d.

3⁴⁹ €

Dėmesio! Pristatymo terminai yra preliminarūs, kadangi terminai atsinaujina priklausomai nuo faktinio užsakymo pateikimo ir apmokėjimo laiko. Galutinis pristatymo terminas yra pateikiamas Pigu.lt patvirtinus užsakymą.

Visi pristatymo būdai

Kitų pardavėjų pasiūlymai

EasyShop

87⁹⁹ €

Detali pardavėjų informacija (1)

14 dienų grąžinimo garantija

Pardavėjas: Knygynas Krisostomus 4.9

97% pirkėjų rekomenduotų šį pardavėją

Kiti taip pat domėjosi

Prekės aprašymas: Little Typer

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming—pairs, lists, functions, and recursion—can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

Bendra informacija apie: Little Typer

Prekės ID:	59708618
Kategorija:	Ekonomikos knygos
Prekės pakuočių kiekis:	1 vnt.
Pakuotės išmatavimai ir svoris (1):	0,3 x 0,3 x 0,1 m, 0,2 kg
Leidykla:	MIT Press Ltd
Leidinio kalba:	Anglų
Tipas:	Ekonomika
Knyga su ištrauka:	Ne
Pardavėjas:	Knygynas Krisostomus, EasyShop
Autorius:	Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor McBride
Puslapių skaičius:	424, Nenurodyta
Leidimo metai:	2018

Daugiau informacijos

Prekių nuotraukos skirtos tik iliustraciniams tikslams ir yra pavyzdinės. Prekės aprašyme esančios video nuorodos yra tik informacinio pobūdžio, todėl jose pateikiama informacija gali skirtis nuo pačios prekės. Originalių produktų spalvos, užrašai, parametrai, matmenys, dydžiai, funkcijos, ir/ar bet kurios kitos savybės dėl savo vizualinių ypatybių gali atrodyti kitaip negu realybėje, todėl prašome vadovautis prekių savybėmis, kurios nurodytos prekių aprašymuose.

Pranešti apie klaidą prekės aprašyme

Rekomenduojama kartu

Partnerių pasiūlymai

Reklama

Įvertinimai ir atsiliepimai (0)

Little Typer

Būkite pirmas parašęs atsiliepimą!

Informacija ir taisyklės

Šią prekę gali įvertinti tik ją įsigiję bei registruoti Pigu.lt pirkėjai.

Įvertinti prekę

Klausimai ir atsakymai (0)

Paklauskite apie šią prekę kitų pirkėjų!

Informacija ir taisyklės

Užduoti klausimą

Jūsų klausimas buvo sėkmingai pateiktas. Į klausimą bus atsakyta per 3 darbo dienas

Įrašykite klausimą apie šią prekę

Klausimą turi sudaryti bent 10 simbolių

Noriu dalyvauti diskusijose apie mano įsigytas prekes

Pateikti klausimą Atšaukti

Rekomenduojame kartu su: Little Typer

Reklama

Kitų pardavėjų pasiūlymai (1)

*Konkretaus pardavėjo pasiūlymams galioja tik tos sąlygos, kurios nurodomos prie tokio pardavėjo parduodamos prekės, ir už visą informaciją juose (įskaitant kainas) atsako konkretus pardavėjas.

Pardavėjas: EasyShop 4.2

(959 pirkėjų įvertinimai)

Vilniuje, parduotuvėje (Laisvės pr. 75)

Balandžio 3 d.

0⁰⁰ €

Galimi pristatymo būdai

87⁹⁹ €

Į krepšelį