| ||||||||||||||||||||||||
Другие журналы
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Место приёмов дедуктивной верификации в автоматическом синтезе алгоритмов
Молодежный научно-технический вестник # 12, декабрь 2013
УДК: 004.421
Файл статьи:
Минашин Г.А..pdf
(161.60Кб)
Минашин Г.А..pdf
(161.60Кб)
1. Карпов Ю. Г. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.: ил. + CD-ROM.
2. Борисенко В. В. Основы программирования // INTUIT.ru: Национальный Открытый Университет «ИНТУИТ». 2005. URL: http://www.intuit.ru/department/se/pbmsu/ (дата обращения: 01.02.2013г.).
3. Виноградов И. М. Основы теории чисел. М.: Государственное издательство технико-теоретической литературы, 1952.
4. Грис Д. Наука программирования: Пер. с англ. - М.: Мир, 1984. - 416 с., ил.
Публикации с ключевыми словами: формальная верификация, дедуктивная верификация, декларативное программирование, автоматический синтез алгоритма
Публикации со словами: формальная верификация, дедуктивная верификация, декларативное программирование, автоматический синтез алгоритма
Смотри также:
Тематические рубрики:
Поделиться:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
