От редакторов специального выпуска
Данный выпуск представляет статьи, подготовленные на основе избранных докладов Третьего международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международ...
Furkejuvvon:
| Materiálatiipa: | Artigo |
|---|---|
| Giella: | Inglês |
| Almmustuhtton: |
Yaroslavl State University
2015-03-01
|
| Ráidu: | Моделирование и анализ информационных систем |
| Liŋkkat: | https://www.mais-journal.ru/jour/article/view/134 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|