Preview

Modeling and Analysis of Information Systems

Advanced search

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

Abstract

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

About the Authors

С. Глызин

Russian Federation


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

Russian Federation


В. Соколов

Russian Federation


Review

For citations:


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

Views: 592


Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


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