|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Труды XXIV Конференции молодых учёных механико-математического факультета МГУ им. М.В.Ломоносовасборник
- Член редколлегии: Георгиевский Д.В.
- Год издания: 2002
- Место издания: Издательство Центра прикладных исследований механико-математического факультета МГУ им. М.В.Ломоносова, Москва
- Добавил в систему: Георгиевский Дмитрий Владимирович
Статьи, опубликованные в сборнике
-
- 2002 Отображение канонической модели спецификаций в формальную нотацию для моделирования уточняющих спецификаций
- Ступников С.А.
- в сборнике Труды XXIV Конференции молодых учёных механико-математического факультета МГУ им. М.В.Ломоносова, место издания Издательство Центра прикладных исследований механико-математического факультета МГУ им. М.В.Ломоносова, Москва, с. 169-171
- редактор Георгиевский Дмитрий Владимирович