Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шелехов Владимир Иванович
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:165
Страницы публикаций:442
Полные тексты:238
Списки литературы:66
E-mail:

https://www.mathnet.ru/rus/person63695
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2016
1. М. С. Чушкин, В. И. Шелехов, “Методы синтеза фрагментов предикатных программ”, ПДМ. Приложение, 2016, № 9,  126–128  mathnet
2010
2. В. И. Шелехов, “Верификация и синтез программ сложения на базе правил корректности операторов”, Модел. и анализ информ. систем, 17:4 (2010),  101–110  mathnet 1

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024