| ||||||||||||||||||||||||
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл 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.
Публикации с ключевыми словами: формальная верификация, автоматический синтез программ, языки программирования
Публикации со словами: формальная верификация, автоматический синтез программ, языки программирования
Смотри также:
Тематические рубрики:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2023 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
