Настоящий том входит в серию "AKM Series in Theoretical Computer Science", предназначенную для того, чтобы сделать ключевые математические достижения в области информатики доступными для студентов и аспирантов. Конкретно, этот том знакомит читателей с небольшим математическим образованием или вообще без него с вопросами теоретической информатики, закладывая при этом математическую основу для более позднего, более подробного изучения таких тем, как формальная теория языка, теория вычислимости, семантика языка программирования и изучение верификации и корректности программ.
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже