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