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

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

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

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Теоретические основания синтеза элементарных инструкций императивных языков программирования на основе множеств присваивания

Молодежный научно-технический вестник # 05, май 2014
УДК: 004.421
Файл статьи: Минашин Г.А..pdf (181.96Кб)
автор: Минашин Г. А.

1.     Белоусов А. И., Ткачев С. Б. Дискретная математика: учеб. для вузов / под ред. В. С. Зарубина, А. П. Крищенко. 3-е изд., стереотип. М.: Изд-во МГТУ им. Н. Э. Баумана, 2004. 744 с. (Сер. Математика в техническом университете; Вып. XIX). ISBN 5-7038-1769-2 (Вып. XIX), ISBN 5-7038-1270-4.

2.     Грис Д. Наука программирования. М.: Мир, 1984. 416 с., ил.

3.     Минашин Г. А. Место приёмов дедуктивной верификации в автоматическом синтезе алгоритмов // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2013. № 12. Режим доступа: http://sntbul.bmstu.ru/doc/640887.html (дата обращения: 02.04.2014).

4.     Новиков Ф.А. Дискретная математика для программистов: учебник для вузов. 2-е изд. СПб.: Питер, 2007. 364 с.: ил. (Серия «Учебник для вузов»).

5.     Manna Z., Waldinger R., Fundamentals of deductive program synthesis. Computer and Systems Sciences. Berlin: Springer-Verlag, 1991. 62 p.


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



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