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

54¹⁰ €

Pardavėjas: Knygynas Krisostomus 4.9

Į krepšelį

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,74%, bendra vartojimo kredito gavėjo mokama suma - 63⁷² €.
Paslaugos teikėjas: „AS Inbank filialas“.

3 x 18⁰⁴ €

Be pabrangimo

Jūsų miestas

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

Gruodžio 12 d.

0⁰⁰ €

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

Gruodžio 12 d.

0⁰⁰ €

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

Gruodžio 12 d.

0⁰⁰ €

Atsiimkite Omniva paštomate

Gruodžio 12 d.

2⁶⁵ €

Smartpost terminale

Gruodžio 12 d.

2⁶⁹ €

Pristatysime į namus

Gruodžio 12 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ė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

Partnerių pasiūlymai

Reklama