Репозиторий Dspace
ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ СПЕЦИФИКАЦИИ, ВАЛИДАЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ
Войти
Kazakh
English
русский
Басты
→
Материалы конференций, семинаров
→
IX Международная научная конференция студентов и молодых ученых «Наука и образование - 2014»
→
Современные информационные и коммуникационные технологии
→
Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.
ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНЫХ МЕТОДОВ ДЛЯ СПЕЦИФИКАЦИИ, ВАЛИДАЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ
Сатекбаева, Айжан Жанабековна
;
Бейсеева, Жанара Адилбековна
URI:
http://repository.enu.kz/handle/enu/28438
Дата:
2014
Показать полную информацию
Файлы в этом документе
Имя:
12.pdf
Размер:
576.5Kb
Формат:
PDF
Открыть
Данный элемент включен в следующие коллекции
Современные информационные и коммуникационные технологии
[105]
Поиск в DSpace
Поиск в DSpace
В этой коллекции
Просмотр
Весь DSpace
Сообщества и коллекции
Дата публикации
Авторы
Названия
Тематика
Эта коллекция
Дата публикации
Авторы
Названия
Тематика
Моя учетная запись
Войти
Регистрация
