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