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

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

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

Издатель Общероссийская общественная организация "Академия инженерных наук им. А.М. Прохорова". Эл 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
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА
18.12.2017
С 21 по 24 ноября 2017г. в МГТУ им. Н.Э. Баумана прошла XII Всероссийская инновационная молодежная научно-инженерная выставка «Политехника», посвященная 170-летию со дня рождения Н.Е. Жуковского в рамках Всероссийского инновационного молодежного научно-инженерного форума «Политехника».

11.10.2017
XII Всероссийская инновационная молодежная научно-инженерная выставка «ПОЛИТЕХНИКА», посвященная 170-летию со дня рождения Н.Е. Жуковского 21–24 ноября 2017 года г. Москва

25.05.2017
C 15 по 17 мая 2017г. в МГТУ им. Н.Э. Баумана прошел III этап (Всероссийский) Всероссийской студенческой олимпиады по физике (в технических вузах).

25.04.2017
С 12 по 14 апреля в МГТУ им. Н.Э. Баумана прошел Всероссийский этап Всероссийской олимпиады по безопасности жизнедеятельности.

4.04.2017
С 14 по 16 марта 2017г. в МГТУ им. Н.Э. Баумана прошел III (Всероссийский) тур Всероссийской студенческой олимпиады по иностранному языку (английский в технических вузах).




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