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

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Разработка автоматизированного средства для доказательства свойств программ	490 KB	Adobe Acrobat PDF	Read	Download

Title: Разработка автоматизированного средства для доказательства свойств программ
Creator: Жуковская, Александра Олеговна
|
Стефанцов, Дмитрий Александрович
Contributor: Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК
-: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии
Date: 2014

Relationships: Show Relationship Browser for this Object
collection(s): Факультет прикладной математики и кибернетики (до 01.09.2017 г.) | Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Прикладная дискретная математика. Приложение. 2014. № 7. С. 148-150
Language: rus

Created: 18-09-2014

810 Visitors

675 Hits

166 Downloads

Факультет прикладной математики и кибернетики (до 01.09.2017 г.) Разработка автоматизированного средства для доказательства свойств программ