От редакторов специального выпуска
Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также доклад...
Saved in:
| Format: | Article |
|---|---|
| Language: | English |
| Published: |
Yaroslavl State University
2013-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Online Access: | https://www.mais-journal.ru/jour/article/view/153 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849688189039542272 |
|---|---|
| collection | DOAJ |
| description | Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов Международной конференции «Геометрия, топология и приложения» (Geometry, Topology, and Applications), посвященной 70-летию Н.П. Долбилина. |
| format | Article |
| id | doaj-art-de991663f7704b75a7305801d7ede917 |
| institution | DOAJ |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2013-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-de991663f7704b75a7305801d7ede9172025-08-20T03:22:04ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172013-12-0120679147От редакторов специального выпускаДанный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов Международной конференции «Геометрия, топология и приложения» (Geometry, Topology, and Applications), посвященной 70-летию Н.П. Долбилина.https://www.mais-journal.ru/jour/article/view/153 |
| spellingShingle | От редакторов специального выпуска Моделирование и анализ информационных систем |
| title | От редакторов специального выпуска |
| title_full | От редакторов специального выпуска |
| title_fullStr | От редакторов специального выпуска |
| title_full_unstemmed | От редакторов специального выпуска |
| title_short | От редакторов специального выпуска |
| title_sort | от редакторов специального выпуска |
| url | https://www.mais-journal.ru/jour/article/view/153 |