Little Prover

Спецификации:
Автор: Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Количество страниц: 248
Год публикации: 2015
ID товара: 14082686
5410
Продавец: Bookstore Krisostomos 4.9
В корзину
715 / мес.

3 1804
Без подорожания
Ваш город

Заберите в Omniva посылочном автомате

11 апреля

000

Заберите в SmartPosti посылочном автомате

11 апреля

000

Заберите в почтовом отделении Эстонии

11 апреля

000

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

11 апреля

399

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

Заберите в Omniva посылочном автомате

11 апреля

000

Заберите в SmartPosti посылочном автомате

11 апреля

000

Заберите в почтовом отделении Эстонии

11 апреля

000

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

11 апреля

399

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

Продавец: Bookstore Krisostomos 4.9
  • 95% покупателей рекомендовали бы этого продавца.

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

Описание товара: 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 товара: 14082686
Категория: Книги по экономике
Количество упаковок товара: 1 шт.
Размеры и вес упаковки (1): 0,01 x 0,18 x 0,23 м, 0,45 кг
Издательство: MIT Press Ltd
Язык публикации: Aнглийский
Тип обложки: Мягкий
Формат: Традиционная книга
Тип: Информационные технологии
Raamat väljavõttega: Нет
Автор: Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
Количество страниц: 248
Год публикации: 2015

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

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

Рейтинги и отзывы (0)

Little Prover
Будьте первым, кто оставит отзыв!
Этот товар могут оценить только его покупатели, зарегистрированные на Kaup24.ee.
Оценить товар

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

Спросите об этом товаре у других покупателей!
Задать вопрос
Ваш вопрос успешно отправлен. На этот вопрос будет дан ответ в течение 3 рабочих дней
Вопрос должен состоять не менее чем из 10 символов

Рекомендуем вместе с: Little Prover

Реклама

Лучшие товары от Bookstore Krisostomos