Little Prover

(0) | Вопросы и ответы (0)

Спецификации:

Автор:	Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Количество страниц:	248
Год публикации:	2015
ID товара:	62434477

Больше информации

Полная цена
Оплатить частями 7⁰⁸ € x 9 мес.

54¹⁰ €

7⁰⁸ € / мес.

Калькулятор лизинга

При условии, что сумма кредита 54¹⁰ € сроком на 9 месяца, условия будут следующими: ежемесячный взнос - 7⁰⁸ €, годовая процентная ставка - 21,60%, комиссия за ежемесячное администрирование договора - 0.6%, комиссия за составление договора - 3%, BVKKMN - 49,14%, общая сумма, уплаченная получателем потребительского кредита составит 63⁷² €.
Поставщик услуг: «AS Inbank filialas».

или

3 x 18⁰⁴ €

Без подорожания

Продавец: Knygynas Krisostomus 4.9

В корзину

Ваш город

БЕСПЛАТНО заберите в Вильнюсе, в магазине (Проспект Лайсвес 75)

2 мая

0⁰⁰ €

БЕСПЛАТНО заберите в Вильнюсе, в магазине (Ул. Упес 9 (ТЦ «CUP»))

2 мая

0⁰⁰ €

БЕСПЛАТНО заберите в Каунасе, в Клайпеде, в Шяуляй, в Паневежисе, в магазине

2 мая

0⁰⁰ €

Забери в пакомате Omniva

2 мая

2⁶⁵ €

Заберите в терминале SmartPosti

2 мая

2⁶⁹ €

Доставим на дом

2 мая

3⁴⁹ €

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Все способы доставки

14-дневная гарантия возврата

Продавец: Knygynas Krisostomus 4.9

97% покупателей рекомендовали бы этого продавца.

Другие также интересовались

Описание товара: 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.

Общая информация o: Little Prover

ID товара:	62434477
Категория:	Книги по экономике
Количество упаковок товара:	1 шт.
Размеры и вес упаковки (1):	0,01 x 0,18 x 0,23 м, 0,45 кг
Издательство:	MIT Press Ltd
Язык публикации:	Aнглийский
Тип обложки:	Мягкий
Формат:	Традиционная книга
Тип:	Информационные технологии
Книга с отрывком:	Нет
Страна продавца:	Эстония
Продавец:	Knygynas Krisostomus
Автор:	Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Количество страниц:	248
Год публикации:	2015

Больше информации

Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.

Сообщить об ошибке в описании товара

Часто покупают вместе

Партнерские предложения