Горбунова, Татьяна Николаевна, Московский государственный строительный университет, Россия
-
XX МЕЖДУНАРОДНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ «СОВРЕМЕННЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И ИТ-ОБРАЗОВАНИЕ» - Научное программное обеспечение в образовании и науке
Алгоритм реализации общей математической схемы теории типов в программном обеспечении
Реферат