От редакторов специального выпуска
Abstract
Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов Международной конференции «Геометрия, топология и приложения» (Geometry, Topology, and Applications), посвященной 70-летию Н.П. Долбилина.
For citations:
,
,
. Modeling and Analysis of Information Systems. 2013;20(6):7-9.
(In Russ.)
Views:
595