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

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


Аннотация

Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (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.

For citation: ., ., . . Modeling and Analysis of Information Systems. 2012;19(6):7-8. (In Russ.)

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

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

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


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


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