Preview

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

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

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

Аннотация

Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международной конференции «Дискретная геометрия», посвященной 100-летию А. Д. Александрова (Yaroslavl International Conference on Discrete Geometry dedicated to the centenary of A. D. Alexandrov).

Об авторах

С. Д. Глызин

Россия


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

Россия


В. А. Соколов

Россия


Рецензия

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


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

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


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


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