|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типамистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Антонов С.В., Кривчиков М.А.
- Журнал: Программная инженерия
- Номер: 9
- Год издания: 2015
- Издательство: Новые технологии
- Местоположение издательства: Москва
- Первая страница: 25
- Последняя страница: 31
- Добавил в систему: Кривчиков Максим Александрович