Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл No. ФС77-51038. ISSN 2307-0609

Место приёмов дедуктивной верификации в автоматическом синтезе алгоритмов

Молодежный научно-технический вестник # 12, декабрь 2013
УДК: 004.421
Файл статьи: Минашин Г.А..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 с., ил.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2017 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98