Little Prover

(0) | Klausimai ir atsakymai (0)

Specifikacijos:

Autorius:	Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Puslapių skaičius:	248
Leidimo metai:	2015
Prekės ID:	62434477

Daugiau informacijos

Pilna kaina
Mokėkite dalimis 7⁰⁸ € x 9 mėn.

54¹⁰ €

7⁰⁸ € / mėn.

Lizingo skaičiuoklė

Skolinantis 54¹⁰ €, sutartį sudarant 9 mėn. laikotarpiui, mėn. įmoka - 7⁰⁸ €, metinė palūkanų norma - 21,60%, mėn. sutarties administravimo mokestis - 0.6%, sutarties sudarymo mokestis - 3%, BVKKMN - 49,14%, bendra vartojimo kredito gavėjo mokama suma - 63⁷² €.
Paslaugos teikėjas: „AS Inbank filialas“.

arba

3 x 18⁰⁴ €

Be pabrangimo

Pardavėjas: Knygynas Krisostomus 4.9

Į krepšelį

Jūsų miestas

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

Gegužės 2 d.

0⁰⁰ €

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

Gegužės 2 d.

0⁰⁰ €

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

Gegužės 2 d.

0⁰⁰ €

Atsiimkite Omniva paštomate

Gegužės 2 d.

2⁶⁵ €

Atsiimkite SmartPosti terminale

Gegužės 2 d.

2⁶⁹ €

Pristatysime į namus

Gegužės 2 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

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 Prover

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant. The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.

Bendra informacija apie: Little Prover

Prekės ID:	62434477
Kategorija:	Ekonomikos knygos
Prekės pakuočių kiekis:	1 vnt.
Pakuotės išmatavimai ir svoris (1):	0,01 x 0,18 x 0,23 m, 0,45 kg
Leidykla:	MIT Press Ltd
Leidinio kalba:	Anglų
Viršelio tipas:	Minkštas
Formatas:	Tradicinė knyga
Tipas:	Informacinės technologijos
Knyga su ištrauka:	Ne
Pardavėjo šalis:	Estija
Pardavėjas:	Knygynas Krisostomus
Autorius:	Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Puslapių skaičius:	248
Leidimo metai:	2015

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