Отраслевые рубрики: вычислительная техника, математика, математическая кибернетика

Ключевые слова: Ruby, автоматы с магазинной памятью, вычисления, вычислимость, денотационная семантика, конечные автоматы, лямбда-исчисление, машина Тьюринга, неразрешимые проблемы, операционная семантика, программы, процедуры, разрешимость, регулярные выражения, семантика программирования, структуры данных, теория вычислений, универсальность, формальная семантика

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	2	2	0