ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ СПЕЦИФИКАЦИИ,  ВАЛИДАЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ

dc.contributor.author	Сатекбаева, Айжан Жанабековна
dc.contributor.author	Бейсеева, Жанара Адилбековна
dc.date.accessioned	2025-12-08T05:13:45Z
dc.date.available	2025-12-08T05:13:45Z
dc.date.issued	2014
dc.identifier.isbn	978-9965-31-610-4
dc.identifier.uri	http://repository.enu.kz/handle/enu/28438
dc.language.iso	other	ru
dc.publisher	Л.Н.Гумилев атындағы Еуразия ұлттық университеті	ru
dc.title	ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ СПЕЦИФИКАЦИИ, ВАЛИДАЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ	ru
dc.type	Article	ru