Little Typer

Спецификации:
Автор: Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor McBride
Количество страниц: 424
Год публикации: 2018
ID товара: 12202293
  • Полная цена
  • Оплатить частями 763 x 12 мес.
7300
7300
763 / мес.
или
3 2434
Без подорожания
Продавец: Bookstore Krisostomos 4.9
Предложения других продавцов (1):
9126
В корзину
Ваш город

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

15 апреля

000

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

15 апреля

000

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

15 апреля

000

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

15 апреля

399

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

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

15 апреля

000

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

15 апреля

000

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

15 апреля

000

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

15 апреля

399

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

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

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

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

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

ID товара: 12202293
Категория: Книги по экономике
Количество упаковок товара: 1 шт.
Размеры и вес упаковки (1): 0,3 x 0,3 x 0,1 м, 0,2 кг
Издательство: MIT Press Ltd
Язык публикации: Aнглийский
Тип обложки: Не указано
Формат: Традиционная книга
Тип: Не указано
Raamat väljavõttega: Нет
Автор: Daniel P. Friedman, David Thrane Christiansen, Duane Bibby, Robert Harper, Conor McBride
Количество страниц: 424
Год публикации: 2018

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

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

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

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

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

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

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

Реклама

Предложения других продавцов (1)

*Для предложений конкретного продавца действуют только те условия, которые указаны возле продаваемого им товара, и за всю информацию в них (включая цены) ответственен конкретный продавец.

Продавец: EasyShop 4.4
(848 oценок покупателей)

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

4 апреля

000
Возможные способы доставки

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