Выгодные тарифы на доставку Почтой России:
Вес посылки до 5 кг. - от 100 до 300 руб. Вес посылки от 5 кг. до 10 кг. - 200 руб. Вес от 10 кг. до 16 кг. - 100 руб.
*указана цена пересылки по всей России кроме Крыма, районов Дальнего Востока и труднодоступных регионов. В Крым - доставка Boxberry на этих-же условиях.
С 15.01.2024 г. прекращаем отправку книг наложенным платежом для покупателей, которые делают первый заказ на нашем сайте. А для постоянных покупателей снижаем стоимость доставки наложенным платежом.
Поиск книг
Корзина
В корзине 0 книг на сумму руб.
Каталог
Недавно смотрели
Основы гидроакустики.
Лица.
Теплопередача в расплавах, растворах и футеровке печей и аппаратов.
Писатели о писателях. Литературные портреты.
Язык: теория, история, типология.
Математическая логика в программировании. Сборник статей. Серия: Математическое обеспечение ЭВМ.
Автор -
Издательство - М. Мир.
Страниц - 408 с.
Год издания - 1991 г.
Переплет - Мягкий
Формат - Увеличенный
Вес - 410 гр.
ISBN - 5-03-001635-X
Стоимость пересылки книги по России заказной бандеролью по предоплате - 158 руб.
Содержание: Бэкус Дж. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения. Скотт Д.С. Области в денотационной семантике. Хиндли Дж.Р. Комбинаторы и лямбда-исчисления. Пейтон Джоунз С.Л. Введение в суперкомбинаторы для вполне задержанных исчислений. Юэ Ж., Оппен Д. Равенства и правила переписывания. Обзор. Миллер Д. Логический анализ модулей в логическом программировании. Гоуд К.А. Доказательства как описания вычислений. Антимиров В.М., Воронков А.А., Дегтярев А.И., Захарьящев М.В., Проценко В.С. Математическая логика в программировании. Обзор.
КНИГИ В НАЛИЧИИ НА СКЛАДЕ:
К сожалению сейчас данной книги нет в продаже.