От редакторов специального выпуска
Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международ...
Saved in:
| Format: | Article |
|---|---|
| Language: | English |
| Published: |
Yaroslavl State University
2015-03-01
|
| Series: | Моделирование и анализ информационных систем |
| Online Access: | https://www.mais-journal.ru/jour/article/view/134 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849688187428929536 |
|---|---|
| collection | DOAJ |
| description | Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (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). |
| format | Article |
| id | doaj-art-da7ba09a875a429d8b0c17bfaf97b4a6 |
| institution | DOAJ |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2015-03-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-da7ba09a875a429d8b0c17bfaf97b4a62025-08-20T03:22:04ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172015-03-0119678128От редакторов специального выпускаДанный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (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).https://www.mais-journal.ru/jour/article/view/134 |
| spellingShingle | От редакторов специального выпуска Моделирование и анализ информационных систем |
| title | От редакторов специального выпуска |
| title_full | От редакторов специального выпуска |
| title_fullStr | От редакторов специального выпуска |
| title_full_unstemmed | От редакторов специального выпуска |
| title_short | От редакторов специального выпуска |
| title_sort | от редакторов специального выпуска |
| url | https://www.mais-journal.ru/jour/article/view/134 |