Preview

Моделирование и анализ информационных систем

Расширенный поиск

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

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

Аннотация

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

Об авторах

С. Д. Глызин

Россия


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

Россия


В. А. Соколов

Россия


Для цитирования:


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

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


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


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