|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
ПРИЕМЫ ДЕДУКТИВНОЙ ВЕРИ ФИКАЦИИ ПРОГРАММНОГО КОДА С ИСПОЛЬЗОВАНИЕМ ASTRAVER TOOLSETстатья
- Авторы: Кокорин Артем Олегович, Тиевский Станислав Дмитриевич, Девянин Петр Николаевич
- Журнал: Прикладная дискретная математика. Приложение
- Номер: 15
- Год издания: 2022
- Издательство: Изд-во ТГУ
- Местоположение издательства: Томск
- Первая страница: 80
- Последняя страница: 90
- Добавил в систему: Кривчиков Максим Александрович