|
М |
Прикладные методы верификации программ |
1988 |
Непомнящий В. А., Рякин О. М. |
|
- Ершов А. П.
|
|
|
14.11.1995 |
|
СТ |
Обоб енный подход к аксиоматической семантике операторов над последовательными файлами |
1986 |
Непомнящий В. А., Рякин О. М. |
|
|
|
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ: Тез.докл./Всесоюз.науч.конф. |
13.10.1993 |
|
СТ |
Верификация программ обработки данных с использованием автоматной модели файлов |
1988 |
Непомнящий В. А., Рякин О. М. |
|
|
|
Прикладная информатика |
13.10.1993 |
|
СТ |
Верификация программ на подмножестве ПЛ/I с использованием инструментальных средств |
1988 |
Рякин О. М., Кочкуров А. А. |
|
|
|
Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) |
29.03.1991 |
