Разработка автоматизированного средства для доказательства свойств программ

Разработка автоматизированного средства для доказательства свойств программ

Bibliographic Details
Published in:Прикладная дискретная математика. Приложение № 7. С. 148-150
Main Author: Жуковская, Александра Олеговна
Corporate Authors: Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК, Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии
Other Authors: Стефанцов, Дмитрий Александрович
Format: Article
Language:Russian
Subjects:
верификация программ
компьютерные системы
программы
статьи в журналах
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000488492
Перейти в каталог НБ ТГУ

Similar Items

Similar Items