|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Приложение одной разновидности типизированного лямбда-исчисления к построению формальных моделей программтезисы доклада
- Авторы: Васенин В.А., Кривчиков М.А.
- Сборник: Ломоносовские чтения. Научная конференция. Секция механики. 14–23 апреля 2014 года. Тезисы докладов
- Тезисы
- Год издания: 2014
- Место издания: Издательство Московского университета Москва
- Первая страница: 39
- Последняя страница: 39
- Добавил в систему: Кривчиков Максим Александрович