Стюарт Т. Теория вычислений для программистов / Стюарт Том; перевод с английского А. А. Слинкина. - Москва: ДМК Пресс, 2014. - 384 с.: ил. - Предм. указ.: с. 378. - ISBN 978-5-94074-979-0.Отраслевые рубрики: вычислительная техника, математика, математическая кибернетика Ключевые слова: Ruby, автоматы с магазинной памятью, вычисления, вычислимость, денотационная семантика, конечные автоматы, лямбда-исчисление, машина Тьюринга, неразрешимые проблемы, операционная семантика, программы, процедуры, разрешимость, регулярные выражения, семантика программирования, структуры данных, теория вычислений, универсальность, формальная семантика
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 2 | 2 | 0 |
|