Публикации
References
Articles: |
---|
Темпоральные логики для спецификации свойств программных и аппаратных систем
Компьютерные инструменты в образовании,
№2:45-56
2009
|
Books: |
Моделирование. Объектно-ориентированное моделирование в задачах внешней баллистики. Учебное пособие
Publisher: Изд-во Политехн. ун-та, СПб.
2009
|
mailto: webmaster@dcn.ftk.spbstu.ru