Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
2014
|
Стефанцов, Дмитрий Александрович
Add to Quick Collection
Description
Size
Format
Разработка автоматизированного средства для доказательства свойств программ
490 KB
Adobe Acrobat PDF
View Details
Download
Title
Разработка автоматизированного средства для доказательства свойств программ
Creator
Жуковская, Александра Олеговна
Creator
Стефанцов, Дмитрий Александрович
Contributor
Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК
Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии
Subject
верификация программ
компьютерные системы
программы
Date
2014
Relationships
Show Relationship Browser for this Object
collection(s)
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Журналы ТГУ
Identifier
vtls:000488492
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000488492
Type
статьи в журналах
Source
Прикладная дискретная математика. Приложение. 2014. № 7. С. 148-150
Language
rus
690 Visitors
582 Hits
139 Downloads
Preview
Журналы ТГУ
Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Разработка автоматизированного средства для доказательства свойств программ
^ DIV >