Математическая логика в программировании. Сборник статей
Удалён продавцом.
21 дек 2019 17:26
Этот лот уже не продается, но мы нашли для вас похожие
Лента светодиодная RGB; 12В; 11,6 метров
2 200руб.Лента светодиодная RGB; 24В; 5,8 метра
1 200руб.Лента светодиодная. 6000К холодный белый. 3,3 метра
300руб.Махровые полотенца. Новые. 3 шт. Одним лотом.
1 000руб.Машинка для стрижки / триммер / бритва Philips
300руб.Светильник встраиваемый декоративный Novotech Ceramic 369552
50руб.Зеркало правое на Nissan Fuga Y50
1 000руб.Зеркало левое на Nissan Fuga Y50
5 000руб.Описание лота
Состояние на фото.
Есть штампы, спец. отметки (библ.экз.)
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей - известные специалисты: Дж.Бэкус, Д.Оппен, Д.Скотт (США), Дж.Р.Хиндли, С.Л.Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Лента светодиодная RGB; 12В; 11,6 метров
2 200руб.Лента светодиодная RGB; 24В; 5,8 метра
1 200руб.Лента светодиодная. 6000К холодный белый. 3,3 метра
300руб.Махровые полотенца. Новые. 3 шт. Одним лотом.
1 000руб.Машинка для стрижки / триммер / бритва Philips
300руб.Светильник встраиваемый декоративный Novotech Ceramic 369552
50руб.Зеркало правое на Nissan Fuga Y50
1 000руб.Зеркало левое на Nissan Fuga Y50
5 000руб.Поделиться этим лотом: