Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типамистатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК

Работа с статьей


[1] Антонов С. В., Кривчиков М. А. Формальная модель вычислений с плавающей точкой на основе лямбда-исчисления с зависимыми типами // Программная инженерия. — 2015. — № 9. — С. 25–31.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть