От редакторов специального выпуска

Полный текст:


Аннотация

Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов Международной конференции «Геометрия, топология и приложения» (Geometry, Topology, and Applications), посвященной 70-летию Н.П. Долбилина.

Об авторах

С. Д. Глызин

Россия


В. А. Непомнящий

Россия


В. А. Соколов

Россия


Для цитирования: Глызин С.Д., Непомнящий В.А., Соколов В.А. От редакторов специального выпуска. Моделирование и анализ информационных систем. 2013;20(6):7-9.

For citation: ., ., . . Modeling and Analysis of Information Systems. 2013;20(6):7-9. (In Russ.)

Просмотров: 149

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)