Программное обеспечение для систем связи. Средства тестирования и верификации программ. Формальные методы описания программ. Оборудование для описания, анализа, обеспечения переносимости программ, проверки полноты и избыточности программного обеспечения.
- Адрес: 109004, Россия, Москва, ул. Большая Коммунистическая, д. 25
- Телефон: (495) 912-4614
- Email: webmaster@ispras.ru
- Сайт: www.ispras.ru
Подписаться
0 комментариев