|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Дедуктивная верификация программ на языке Pythonтезисы доклада Тезисы
- Автор: Бикбулатов Т.Р.
- Сборник: Материалы Международного молодежного научного форума «Ломоносов-2019»
- Редакторы: Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
- Тезисы
- Год издания: 2019
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Аннотация: https://lomonosov-msu.ru/archive/Lomonosov_2020/data/19259/uid212685_report.pdf
- Добавил в систему: Корухова Юлия Станиславовна