Назад
Куатбаева, Акмарал
Университет Туран
Казахстан, Алматы
Доклад
Бектемесов А.Т.
*
,
Куатбаева А.
**
Применение model checking для комбинаторных задач
*
Алтайский государственный технический университет (Барнаул), Россия
**
Университет Туран (Алматы), Казахстан
К списку участников