М.: Мир, 1991. - 408 с. Серия "Математическое обеспечение ЭВМ". Сборник статей. Пер. с англ. ISBN: 5-03-001535-X Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению,...
Прошу создать подраздел «Тестирование» в разделе «Технология программирования» (/files/informatics/ptechnology/) и разместить туда, в частности, следующие файлы: ...
Комментарии
...