Автоматизация проверки решения задачи по формальному описанию ее условия

معرفی کتاب «Автоматизация проверки решения задачи по формальному описанию ее условия» نوشتهٔ Богданов М.С.، منتشرشده توسط نشر Компьютерные инструменты в образовании. - СПб.: Изд-во ЦПО ''Информатизация образования'' در سال 2006. این کتاب در فرمت pdf، زبان ru ارائه شده است.