Назад
Бектемесов, Аманжол Тохтямович
Заведующий кафедрой, Ph.D.
Алтайский государственный технический университет
http://www.altstu.ru
Россия, Барнаул, просп. Ленина, 46
Телефон: (3852) 24-65-31
Доклад
Бектемесов А.Т.
*
,
Куатбаева А.
**
Применение model checking для комбинаторных задач
*
Алтайский государственный технический университет (Барнаул), Россия
**
Университет Туран (Алматы), Казахстан
К списку участников