Google 
Аннотация: Теория вычислений для программистов
Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования!
В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе.
Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму.
Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.
| Автор/составитель | Стюарт Том |
| Серия | Теория программирования |
| Год выпуска | 2016 |
| ISBN | 978-5-94074-979-0, 978-5-97060-237-9 |
| Производитель | ДМК-Пресс |
| Издательство | ДМК-Пресс |
| Количество томов | 1 |
| Количество страниц | 384 |
| Переплет | Мягкая обложка |
| Размеры | 210x140x20 мм |
| Цвет | Белый |
| Тип бумаги | офсетная (60-220 г/м2) |
| Наличие иллюстраций | рисунки |
| Тип иллюстраций | черно-белые |
| Формат | 60x88/16 (140x205 мм) |
| Тираж | 200 |
| Стандарт | 10 |
| Вес | 470 |
| Язык | русский |
